diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2020-06-03 14:01:13 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-06-03 14:01:13 -0500 |
| commit | f70e265cd4e7df46a1b3b7e3cc67fbf9b9b1b528 (patch) | |
| tree | 289b34fd775c89b2d44b464b18d40f43d16e0630 /src/util | |
| parent | 145b9367255d2925b6b4e43818e223b9186bcfad (diff) | |
(proof-new) Add builtin proof checker (#4537)
This adds the proof checker for TheoryBuiltin, which handles the core proof rules (SCOPE and ASSUME) and all proof rules corresponding to generic operations on Node objects. This includes proof rules for rewriting and substitution, which are added in this PR.
Diffstat (limited to 'src/util')
0 files changed, 0 insertions, 0 deletions