diff options
author | Yann Herklotz <git@yannherklotz.com> | 2023-05-19 12:51:39 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2023-05-19 12:51:39 +0100 |
commit | 3be880b441a4d2926c6b14b7bb25a04209fbbca6 (patch) | |
tree | f5d3ed38b3d4494d0ef75de77cbfc072f88a9022 /Makefile | |
parent | bc2c535af4288e06f285658ef2844aa45da9b302 (diff) | |
download | vericert-3be880b441a4d2926c6b14b7bb25a04209fbbca6.tar.gz vericert-3be880b441a4d2926c6b14b7bb25a04209fbbca6.zip |
Finish evaluability proof of RBop
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions