diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2021-01-29 19:20:07 +0000 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2021-01-29 19:20:07 +0000 |
| commit | b708486d60c4c0aa695dca4ee46861c87cebb9e1 (patch) | |
| tree | 89532b748657ded3bf86da3ae15166c42093ace8 /lib | |
| parent | cd6bf14e8f5ce68624ba20a33b8278c78cb632fb (diff) | |
| download | vericert-b708486d60c4c0aa695dca4ee46861c87cebb9e1.tar.gz vericert-b708486d60c4c0aa695dca4ee46861c87cebb9e1.zip | |
Fix definitions of proofs some more
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions