diff options
author | Michalis Pardalos <m.pardalos@gmail.com> | 2021-09-29 14:49:46 +0100 |
---|---|---|
committer | Michalis Pardalos <m.pardalos@gmail.com> | 2021-09-29 14:49:46 +0100 |
commit | d1a6bdc08bc067cf74451a5ffa2aefd4e9e6b79f (patch) | |
tree | ae84dd2aeadbe8b67863d8697272fe25a18feed3 /vericert.opam | |
parent | 3bd5cdf6f84729b27be5e7021a7fd4997dac46c9 (diff) | |
download | vericert-d1a6bdc08bc067cf74451a5ffa2aefd4e9e6b79f.tar.gz vericert-d1a6bdc08bc067cf74451a5ffa2aefd4e9e6b79f.zip |
[WIP] Updating proof for new state matching
Diffstat (limited to 'vericert.opam')
0 files changed, 0 insertions, 0 deletions