diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2021-03-22 14:57:32 +0000 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2021-03-22 14:57:32 +0000 |
| commit | 8d83327cd4562f38e52e3e73562efa3c68ea508b (patch) | |
| tree | 351b4d89576ca98c8ed69449184d710f3fa6cda1 /.ocamlformat | |
| parent | 5f145efd4a3e8a20a832a20bfe69ee251dcec350 (diff) | |
| download | vericert-kvx-8d83327cd4562f38e52e3e73562efa3c68ea508b.tar.gz vericert-kvx-8d83327cd4562f38e52e3e73562efa3c68ea508b.zip | |
Finish unchanged proof without admits
Diffstat (limited to '.ocamlformat')
0 files changed, 0 insertions, 0 deletions