diff options
author | Yann Herklotz <git@yannherklotz.com> | 2022-10-25 17:43:00 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2022-10-25 17:43:00 +0100 |
commit | f2d2bbd4a759024b716cc7f802427fdb78edfb9d (patch) | |
tree | 85ac91ec5631bb36bbdb16f8676183a771273c7f /test | |
parent | 20749ef047b5a7189f6f52227e8d4f98c0c6370e (diff) | |
download | vericert-f2d2bbd4a759024b716cc7f802427fdb78edfb9d.tar.gz vericert-f2d2bbd4a759024b716cc7f802427fdb78edfb9d.zip |
Add proofs for sem_pexpr and app_predicated
Diffstat (limited to 'test')
0 files changed, 0 insertions, 0 deletions