diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2023-05-21 15:46:48 +0100 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2023-05-21 15:47:00 +0100 |
| commit | fe286deeb5c8a81aad20b81cd2ce9a586cc99dca (patch) | |
| tree | f9e39a896033f98271e74c82409b02c18478ffad /src/hls/PrintAbstr.ml | |
| parent | 78026c97881e4500fd3e46283f2e59e5e57973fb (diff) | |
| download | vericert-fe286deeb5c8a81aad20b81cd2ce9a586cc99dca.tar.gz vericert-fe286deeb5c8a81aad20b81cd2ce9a586cc99dca.zip | |
Add proof about preds_empty
Diffstat (limited to 'src/hls/PrintAbstr.ml')
0 files changed, 0 insertions, 0 deletions