diff options
| author | Brian Campbell | 2019-07-31 16:43:45 +0100 |
|---|---|---|
| committer | Brian Campbell | 2019-07-31 16:43:51 +0100 |
| commit | 66b2f1c1757a4cdf6bef1040b152d43ce09021f3 (patch) | |
| tree | 94385e6c5159d7f0ee0703494dccf477f16bf1d9 /src/lem_interp | |
| parent | 2b64d1215c7b77d8cc37a4ab3c9ff2cc5a07e12b (diff) | |
Coq: tweak Hoare proofs a little
Diffstat (limited to 'src/lem_interp')
0 files changed, 0 insertions, 0 deletions