diff options
author | Yann Herklotz <git@yannherklotz.com> | 2023-02-18 18:52:31 +0000 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2023-02-18 18:52:31 +0000 |
commit | 6179fd8a581a38ae7a0ee83d64f8ac4ec1747d70 (patch) | |
tree | 781d2449fbb9c04f31e9cb686237344084bcd1ef /src/VericertClflags.ml | |
parent | 036e3ff69e3b9d20ec0f4abcf60284eee232e57d (diff) | |
download | vericert-6179fd8a581a38ae7a0ee83d64f8ac4ec1747d70.tar.gz vericert-6179fd8a581a38ae7a0ee83d64f8ac4ec1747d70.zip |
Remove aborted evaluable proofs
Diffstat (limited to 'src/VericertClflags.ml')
0 files changed, 0 insertions, 0 deletions