2021-01-28 | Andrew Reynolds | Simplify lemma interface (#5819) | blob | commitdiff | raw |
2020-09-22 | Mathias Preiner | Update copyright header script to support CMake and... | blob | commitdiff | raw | diff to current |
2020-09-01 | Haniel Barbosa | Removes old proof code (#4964) | blob | commitdiff | raw | diff to current |
2020-07-28 | Andrew Reynolds | Use lemma property enum for OutputChannel::lemma (... | blob | commitdiff | raw | diff to current |
2020-06-25 | Andrew Reynolds | (proof-new) Add TrustNode interfaces to OutputChannel... | blob | commitdiff | raw | diff to current |
2020-06-16 | Aina Niemetz | Update copyright headers. | blob | commitdiff | raw | diff to current |
2020-06-12 | Andrew Reynolds | (proof-new) Split TheoryEngine (#4558) | blob | commitdiff | raw | diff to current |