diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2020-06-05 15:52:30 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-06-05 15:52:30 -0500 |
| commit | 5c4b9e1a6ffa97a0a1f8af41069f29764eb6c74b (patch) | |
| tree | cadc54257f3246a76a91970bb5dfb5128211a6f5 /test | |
| parent | 34ca2f205a8b1b6c514640a0cdaeec173872c8f7 (diff) | |
(proof-new) Updates to CDProof (#4565)
This updates CDProof with several new functionalities, including making it agnostic to symmetry of (dis)equalites.
Diffstat (limited to 'test')
0 files changed, 0 insertions, 0 deletions