diff options
author | Yann Herklotz <git@yannherklotz.com> | 2023-05-06 15:34:06 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2023-05-06 15:34:06 +0100 |
commit | bad5c59b014a9baf18df0e2146edcb11fb931216 (patch) | |
tree | 7e80ac0bb3bdeda4ce662f3dcd4d7f148773e2c7 /src/extraction | |
parent | 4290ead0dfdda0400dae528b66a38fe39dbbb18e (diff) | |
download | vericert-bad5c59b014a9baf18df0e2146edcb11fb931216.tar.gz vericert-bad5c59b014a9baf18df0e2146edcb11fb931216.zip |
Add assumption and prove assumption that preds are evaluable
Diffstat (limited to 'src/extraction')
0 files changed, 0 insertions, 0 deletions