diff options
| author | Haniel Barbosa <hanielbbarbosa@gmail.com> | 2020-09-16 00:30:49 -0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-09-16 00:30:49 -0300 |
| commit | 85a3056bed70e226d9e17a1f5785d957628f9e26 (patch) | |
| tree | e08f0116e6ffc75f3cf70f9e76919e04c828e01c /src/theory/uf/proof_checker.cpp | |
| parent | f58e7e32d99b9fda841ebfd0c29016c41a109bfe (diff) | |
[proof-new] Extending eqproof conversion to HO congruence (#5071)
Diffstat (limited to 'src/theory/uf/proof_checker.cpp')
0 files changed, 0 insertions, 0 deletions