diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2020-07-09 00:41:47 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-07-09 00:41:47 -0500 |
| commit | c64575b7c65a9822955efbf7711736068394899a (patch) | |
| tree | e7b2b8a1ac343e9c303a9176974e22e8889e96e0 /AUTHORS | |
| parent | a0a389a1f7c16b6a1fb56b3ce8ee519cf5717f04 (diff) | |
(proof-new) Theory engine proof generator (#4657)
This adds the proof generator used by TheoryEngine for generating proofs for explanations.
Diffstat (limited to 'AUTHORS')
0 files changed, 0 insertions, 0 deletions