diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2023-05-18 23:22:32 +0100 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2023-05-18 23:22:32 +0100 |
| commit | bc2c535af4288e06f285658ef2844aa45da9b302 (patch) | |
| tree | 9e373cce6014b6d2b268c2aa9c8aceacb1c2156a /src/common/ZExtra.v | |
| parent | 9403299d1a481ea4422524b6caa0d78e4c20fbaf (diff) | |
| download | vericert-bc2c535af4288e06f285658ef2844aa45da9b302.tar.gz vericert-bc2c535af4288e06f285658ef2844aa45da9b302.zip | |
Add new proofs about semantic identity
Diffstat (limited to 'src/common/ZExtra.v')
0 files changed, 0 insertions, 0 deletions