diff options
author | Yann Herklotz <git@yannherklotz.com> | 2023-05-28 17:35:38 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2023-05-28 17:35:38 +0100 |
commit | 4917816d72d131cc0c3a10c00648a5df354e7500 (patch) | |
tree | d89e4b4e18e797e9a794a34f76349992974db2e5 /ChangeLog.org | |
parent | 3cca0fa62b1b78ca0df38b539d88704b26b21645 (diff) | |
download | vericert-4917816d72d131cc0c3a10c00648a5df354e7500.tar.gz vericert-4917816d72d131cc0c3a10c00648a5df354e7500.zip |
Work on forward proofs
Diffstat (limited to 'ChangeLog.org')
0 files changed, 0 insertions, 0 deletions