diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2021-01-11 19:11:52 +0000 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2021-01-11 19:11:52 +0000 |
| commit | e9de87c29c446a4e0169f55131a678535630ff18 (patch) | |
| tree | b923b8e5fdd483db7df217a1bd3d2e543a3f99da /_CoqProject | |
| parent | 489b93c3e257e37f45c1f0eafeff950b97249c3f (diff) | |
| download | vericert-e9de87c29c446a4e0169f55131a678535630ff18.tar.gz vericert-e9de87c29c446a4e0169f55131a678535630ff18.zip | |
Add proof of empty items
Proof that correct items are returned from an empty forest.
Diffstat (limited to '_CoqProject')
0 files changed, 0 insertions, 0 deletions