diff options
| author | Michalis Pardalos <m.pardalos@gmail.com> | 2021-05-18 21:24:33 +0100 |
|---|---|---|
| committer | Michalis Pardalos <m.pardalos@gmail.com> | 2021-05-18 21:24:33 +0100 |
| commit | deb5fabefb2b67d46f1df6efc08c217c5197338a (patch) | |
| tree | da951ce429d7e3f55416f3cf9571ede169df845d /.envrc | |
| parent | 8b619c55c83a9e87c2aa610579b4ab6966b9cf78 (diff) | |
| download | vericert-deb5fabefb2b67d46f1df6efc08c217c5197338a.tar.gz vericert-deb5fabefb2b67d46f1df6efc08c217c5197338a.zip | |
Qed on top-level correctness lemma
Diffstat (limited to '.envrc')
0 files changed, 0 insertions, 0 deletions