diff options
author | Yann Herklotz <git@yannherklotz.com> | 2022-10-24 18:26:46 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2022-10-24 18:26:46 +0100 |
commit | 20749ef047b5a7189f6f52227e8d4f98c0c6370e (patch) | |
tree | 11ad936dfa86b0e86982490d6142ac2d12d11c6f /ip | |
parent | 12b4e29803b1cab9bc2e47835c12a1d02d2c0b17 (diff) | |
download | vericert-20749ef047b5a7189f6f52227e8d4f98c0c6370e.tar.gz vericert-20749ef047b5a7189f6f52227e8d4f98c0c6370e.zip |
Prove sem_update for load and create lemma
Diffstat (limited to 'ip')
0 files changed, 0 insertions, 0 deletions