Age | Commit message (Expand) | Author |
---|---|---|
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 |