diff options
author | Yann Herklotz <git@yannherklotz.com> | 2023-05-16 09:00:15 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2023-05-16 09:00:15 +0100 |
commit | b24fc9492bafb61761f847ec4829eaf5b5d88c7b (patch) | |
tree | fc12a8024c739b421afd773c6b875e0c9aa976eb /doc/documentation.org | |
parent | 99532322330291ff6a2888af559d5df5028c7524 (diff) | |
download | vericert-b24fc9492bafb61761f847ec4829eaf5b5d88c7b.tar.gz vericert-b24fc9492bafb61761f847ec4829eaf5b5d88c7b.zip |
Add start of backward proof
Diffstat (limited to 'doc/documentation.org')
0 files changed, 0 insertions, 0 deletions