diff options
| author | QGarchery <QGarchery@users.noreply.github.com> | 2019-01-30 09:13:06 +0100 |
|---|---|---|
| committer | ckeller <ckeller@users.noreply.github.com> | 2019-01-30 09:13:06 +0100 |
| commit | cf3aaa87629515b19b4ede84e56411cf12019954 (patch) | |
| tree | b9e4ec5c9ab69dee71e9f1e79aced5c66576a8c8 /README.md | |
| parent | 3165bb9c1853cd2e471e28c52418dee865d181c3 (diff) | |
| download | smtcoq-cf3aaa87629515b19b4ede84e56411cf12019954.tar.gz smtcoq-cf3aaa87629515b19b4ede84e56411cf12019954.zip | |
fix equality switch in lemmas (#27)
Diffstat (limited to 'README.md')
0 files changed, 0 insertions, 0 deletions