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 /.ocamlformat | |
| parent | 20749ef047b5a7189f6f52227e8d4f98c0c6370e (diff) | |
| download | vericert-f2d2bbd4a759024b716cc7f802427fdb78edfb9d.tar.gz vericert-f2d2bbd4a759024b716cc7f802427fdb78edfb9d.zip | |
Add proofs for sem_pexpr and app_predicated
Diffstat (limited to '.ocamlformat')
0 files changed, 0 insertions, 0 deletions