diff options
| author | Alex Ozdemir <aozdemir@hmc.edu> | 2021-01-20 20:30:56 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-01-20 22:30:56 -0600 |
| commit | a4c67b6e6a777c98aee9b9451f41984f6b5d1072 (patch) | |
| tree | 5a7c319c6eb5d3e53c0d5554194b0b45b003109a /.clang-format | |
| parent | 75cd4fe254f1f4de846b5cf9489b591dffbca333 (diff) | |
arith: Proofs for Diophantine cuts (#5792)
Thread proofs through the diophantine "cutting" lemma generator.
Diffstat (limited to '.clang-format')
0 files changed, 0 insertions, 0 deletions