diff options
author | Michalis Pardalos <m.pardalos@gmail.com> | 2021-09-15 03:54:30 +0300 |
---|---|---|
committer | Michalis Pardalos <m.pardalos@gmail.com> | 2021-09-15 03:54:30 +0300 |
commit | 9c684ec45620edff6deb57ace7d38d80304f682d (patch) | |
tree | 4bfe3a30ffbadd8d904b00196e0f5fdfc462acf3 /CITATION.cff | |
parent | bf4197f480a7af3c52fe038a3483ba1857b0c13d (diff) | |
download | vericert-9c684ec45620edff6deb57ace7d38d80304f682d.tar.gz vericert-9c684ec45620edff6deb57ace7d38d80304f682d.zip |
Progress with callstate proof
Diffstat (limited to 'CITATION.cff')
0 files changed, 0 insertions, 0 deletions