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 /test | |
parent | 78026c97881e4500fd3e46283f2e59e5e57973fb (diff) | |
download | vericert-fe286deeb5c8a81aad20b81cd2ce9a586cc99dca.tar.gz vericert-fe286deeb5c8a81aad20b81cd2ce9a586cc99dca.zip |
Add proof about preds_empty
Diffstat (limited to 'test')
0 files changed, 0 insertions, 0 deletions