diff options
| author | Michalis Pardalos <m.pardalos@gmail.com> | 2021-05-02 11:12:45 +0100 |
|---|---|---|
| committer | Michalis Pardalos <m.pardalos@gmail.com> | 2021-05-02 11:12:45 +0100 |
| commit | 564fb33a504d7611d73bbe5e20b23453e141ed3d (patch) | |
| tree | 441cd64ddf97c3288693a1041904a8a502715754 /example/interesting.v | |
| parent | b8107dbffc3c9a27b7beb4014883a55102389a29 (diff) | |
| download | vericert-564fb33a504d7611d73bbe5e20b23453e141ed3d.tar.gz vericert-564fb33a504d7611d73bbe5e20b23453e141ed3d.zip | |
Simplify some HTLgenspec proofs
Diffstat (limited to 'example/interesting.v')
0 files changed, 0 insertions, 0 deletions