diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2021-02-16 15:06:11 +0000 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2021-02-16 15:06:11 +0000 |
| commit | 64451fe0b1dcff1c780319e7b0639f99c8863800 (patch) | |
| tree | a683eb068f8b12b363c88d85ce67be1398eabe21 /scripts | |
| parent | fc0192497f8cc03d322fca9fb4769ae1cb0b80f8 (diff) | |
| download | vericert-64451fe0b1dcff1c780319e7b0639f99c8863800.tar.gz vericert-64451fe0b1dcff1c780319e7b0639f99c8863800.zip | |
Make top-level theorems pass
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions