diff options
author | Yann Herklotz <git@yannherklotz.com> | 2023-04-24 19:01:22 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2023-04-24 19:01:22 +0100 |
commit | 651a3f29878214e9c33ce8bb103dc8c40191c950 (patch) | |
tree | 1eb4a91c716184e9a8d8b7ddf9fb448fdcd457db /doc/index.rst | |
parent | b4258bda8e35603bbb3989c6469b7803d149ba91 (diff) | |
download | vericert-651a3f29878214e9c33ce8bb103dc8c40191c950.tar.gz vericert-651a3f29878214e9c33ce8bb103dc8c40191c950.zip |
Added lemmas about decidability of Sat
Diffstat (limited to 'doc/index.rst')
0 files changed, 0 insertions, 0 deletions