Age | Commit message (Expand) | Author |
---|---|---|
2021-12-07 | Add proof annotation option (#7750) | Andrew Reynolds |
2021-10-29 | Minor cleanup of proof messages (#7494) | Andrew Reynolds |
2021-08-04 | Proper printing of proofs in the internal calculus (#6975) | Andrew Reynolds |
2021-05-24 | Move proof utilities to src/proof/ (#6611) | Andrew Reynolds |