diff options
author | Yann Herklotz <git@yannherklotz.com> | 2022-04-12 17:03:11 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2022-04-12 17:03:11 +0100 |
commit | d92a54d13dd6dd184fef7e71207ec1d611ad13f2 (patch) | |
tree | 884eff5a6fdfd916ddf502c7c9a22e00c197c784 /dune | |
parent | 34ea2d39acfc9b0a368ae22e47b77f53dbcbfb76 (diff) | |
download | vericert-d92a54d13dd6dd184fef7e71207ec1d611ad13f2.tar.gz vericert-d92a54d13dd6dd184fef7e71207ec1d611ad13f2.zip |
Proof of the initial state matching
Diffstat (limited to 'dune')
0 files changed, 0 insertions, 0 deletions