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 /Makefile | |
parent | 8b619c55c83a9e87c2aa610579b4ab6966b9cf78 (diff) | |
download | vericert-deb5fabefb2b67d46f1df6efc08c217c5197338a.tar.gz vericert-deb5fabefb2b67d46f1df6efc08c217c5197338a.zip |
Qed on top-level correctness lemma
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions