diff options
| author | QGarchery <QGarchery@users.noreply.github.com> | 2018-12-03 08:08:56 +0100 |
|---|---|---|
| committer | ckeller <ckeller@users.noreply.github.com> | 2018-12-03 08:08:56 +0100 |
| commit | 36548d6634864a131cc83ce21491c797163de305 (patch) | |
| tree | 283b642e4cdb593ee6add5c4bdeb0ccec1a9258d /README.md | |
| parent | 3fdc107b26f475c8fe8b7052de826405b88c14b3 (diff) | |
| download | smtcoq-36548d6634864a131cc83ce21491c797163de305.tar.gz smtcoq-36548d6634864a131cc83ce21491c797163de305.zip | |
verit also works when it doesn't use the conclusion (#24)
Fixes issue #20
Diffstat (limited to 'README.md')
0 files changed, 0 insertions, 0 deletions