diff options
author | Yann Herklotz <git@yannherklotz.com> | 2023-09-22 13:49:55 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2023-09-22 13:49:55 +0100 |
commit | f9511b82f6f0edb484b80e77fd531b510728aadc (patch) | |
tree | 60819e4b40575ae7cbe0c4d6663b95bba370d400 /vericert.opam | |
parent | 73d09048bb78826df7ef908918b89fcd2967978b (diff) | |
download | vericert-f9511b82f6f0edb484b80e77fd531b510728aadc.tar.gz vericert-f9511b82f6f0edb484b80e77fd531b510728aadc.zip |
Add better implementation of evaluability
Diffstat (limited to 'vericert.opam')
0 files changed, 0 insertions, 0 deletions