Age | Commit message (Expand) | Author |
---|---|---|
2021-09-02 | Implement lazy proof checking modes (#7106) | Andrew Reynolds |
2021-08-24 | Miscellaneous changes from proof-new (#7042) | Andrew Reynolds |
2021-07-22 | Preparation for carry the rewrite rule database in the proof checker (#6915) | Andrew Reynolds |
2021-05-26 | More precise includes of `Node` constants (#6617) | Andres Noetzli |
2021-05-24 | Move proof utilities to src/proof/ (#6611) | Andrew Reynolds |