Age | Commit message (Expand) | Author |
---|---|---|
2021-09-02 | Implement lazy proof checking modes (#7106) | Andrew Reynolds |
2021-09-01 | Fix issues with cyclic proofs due to double SYMM applications (#7083) | Andrew Reynolds |
2021-05-24 | Move proof utilities to src/proof/ (#6611) | Andrew Reynolds |