diff options
author | Yann Herklotz <git@yannherklotz.com> | 2021-03-25 09:29:29 +0000 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2021-03-25 09:29:29 +0000 |
commit | 1dabaa474dd083396d823f177734ef7ec8239d3b (patch) | |
tree | 1e34c34482197a803a4bf3a0d1d569d570f446d5 /debug/dune | |
parent | ef419af78aa974c760b17e2a4e7f6a096f0626e5 (diff) | |
download | vericert-kvx-1dabaa474dd083396d823f177734ef7ec8239d3b.tar.gz vericert-kvx-1dabaa474dd083396d823f177734ef7ec8239d3b.zip |
Prove lt property for statements
Diffstat (limited to 'debug/dune')
0 files changed, 0 insertions, 0 deletions