diff options
| author | Michalis Pardalos <m.pardalos@gmail.com> | 2021-06-08 21:09:59 +0100 |
|---|---|---|
| committer | Michalis Pardalos <m.pardalos@gmail.com> | 2021-06-08 21:09:59 +0100 |
| commit | 6957832da6522c7099b9554bfc68b67e0fb39444 (patch) | |
| tree | 2b35925e27b5771f438982f58cbffc05b8e2aa3b /src/common | |
| parent | 77c5c01146fa9e2fa09779c1da642b8f5469dff5 (diff) | |
| download | vericert-6957832da6522c7099b9554bfc68b67e0fb39444.tar.gz vericert-6957832da6522c7099b9554bfc68b67e0fb39444.zip | |
Get top-level (Compiler) proof closer to Qed
Add Renaming and ApplyExternctrl to correctness statement
Diffstat (limited to 'src/common')
0 files changed, 0 insertions, 0 deletions