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 /lib | |
| parent | c8b7eca3c747f09cf5b3d495c4ec44c86d8b4edb (diff) | |
| download | vericert-9d120af341c43ca21403e35762b43837fd3484eb.tar.gz vericert-9d120af341c43ca21403e35762b43837fd3484eb.zip | |
Prove evaluability of predicates throughout
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions