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 /.gitmodules | |
parent | cd6bf14e8f5ce68624ba20a33b8278c78cb632fb (diff) | |
download | vericert-kvx-b708486d60c4c0aa695dca4ee46861c87cebb9e1.tar.gz vericert-kvx-b708486d60c4c0aa695dca4ee46861c87cebb9e1.zip |
Fix definitions of proofs some more
Diffstat (limited to '.gitmodules')
0 files changed, 0 insertions, 0 deletions