diff options
| author | Michalis Pardalos <m.pardalos@gmail.com> | 2021-05-07 19:16:55 +0100 |
|---|---|---|
| committer | Michalis Pardalos <m.pardalos@gmail.com> | 2021-05-07 19:16:55 +0100 |
| commit | 8fa89c3e400fff4e9a4ec28eba6393cdca48362b (patch) | |
| tree | 0d46970b3c4cb8f5ca46f26eb05ec5f1b67bc806 /README.org | |
| parent | 8a6cee2918b73b97026dc4010f85e2cf52297470 (diff) | |
| download | vericert-8fa89c3e400fff4e9a4ec28eba6393cdca48362b.tar.gz vericert-8fa89c3e400fff4e9a4ec28eba6393cdca48362b.zip | |
Fully clean up the iter_expand_instr_spec proof
Diffstat (limited to 'README.org')
0 files changed, 0 insertions, 0 deletions