diff options
| author | Chantal Keller <Chantal.Keller@lri.fr> | 2021-09-20 18:10:13 +0200 |
|---|---|---|
| committer | Chantal Keller <Chantal.Keller@lri.fr> | 2021-09-20 18:10:13 +0200 |
| commit | f8faf0c9395047032e6fe9d0db5f45205cd4da06 (patch) | |
| tree | 3d0069c9190b8fed1e5ce81e633cd12377ca984c /.gitignore | |
| parent | c5db7f8dcf98fc354737ad15dc783c2e9241efb5 (diff) | |
| download | smtcoq-f8faf0c9395047032e6fe9d0db5f45205cd4da06.tar.gz smtcoq-f8faf0c9395047032e6fe9d0db5f45205cd4da06.zip | |
vauto is now complete w.r.t. symmetry of equality (but may be exponential in some cases)
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions