diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2020-05-26 10:27:45 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-05-26 10:27:45 -0500 |
commit | 7da96102de1894fb96eccec5315234d7c441f017 (patch) | |
tree | 51d19a6c355fc720b8b8a5af55902501dd3dda08 /.mailmap | |
parent | 978f45596117f815fee943edceb9f8edf9c26c32 (diff) |
(proof-new) Update proof checker. (#4511)
This adds new required features to proof checker and the base class of proof rule checker.
This is required as the first dependency towards merging further infrastructure related to proofs.
Diffstat (limited to '.mailmap')
0 files changed, 0 insertions, 0 deletions