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 /.github/workflows | |
parent | b8107dbffc3c9a27b7beb4014883a55102389a29 (diff) | |
download | vericert-564fb33a504d7611d73bbe5e20b23453e141ed3d.tar.gz vericert-564fb33a504d7611d73bbe5e20b23453e141ed3d.zip |
Simplify some HTLgenspec proofs
Diffstat (limited to '.github/workflows')
0 files changed, 0 insertions, 0 deletions