diff options
| author | Brian Campbell | 2020-01-07 12:01:42 +0000 |
|---|---|---|
| committer | Brian Campbell | 2020-01-07 12:01:42 +0000 |
| commit | 8f5cc175ebe7bb0bbc10ce639461c7db1fa8488e (patch) | |
| tree | 50438cd8c1f22cef4581e538f5204b68a353128f /x86 | |
| parent | 0c881d1137ddd3e0f6e7a39629533bb10609a40f (diff) | |
Coq: accelerate wp steps by improving application of existing specs
Diffstat (limited to 'x86')
0 files changed, 0 insertions, 0 deletions