diff options
author | Yann Herklotz <git@yannherklotz.com> | 2023-05-22 17:36:24 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2023-05-22 17:36:24 +0100 |
commit | 9d120af341c43ca21403e35762b43837fd3484eb (patch) | |
tree | 8c51caba138d992db23cc04c59052f7faa447def /src/bourdoncle/PrintLoops.ml | |
parent | c8b7eca3c747f09cf5b3d495c4ec44c86d8b4edb (diff) | |
download | vericert-9d120af341c43ca21403e35762b43837fd3484eb.tar.gz vericert-9d120af341c43ca21403e35762b43837fd3484eb.zip |
Prove evaluability of predicates throughout
Diffstat (limited to 'src/bourdoncle/PrintLoops.ml')
0 files changed, 0 insertions, 0 deletions