diff options
| author | Gereon Kremer <gereon.kremer@cs.rwth-aachen.de> | 2020-12-21 20:49:24 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-12-21 20:49:24 +0100 |
| commit | c9747ae3a0577498073a04de97a978e1d9464d5d (patch) | |
| tree | 647c65e55b3b363747a13547b187f62ed029b3d5 /src/util/rational_gmp_imp.cpp | |
| parent | 3d65b80f9e19739554ddc4263757d9b98111d14e (diff) | |
Add proof for pi bound lemma (#5709)
This PR adds proofs for lemmas that introduce bounds on the constant representing pi.
Diffstat (limited to 'src/util/rational_gmp_imp.cpp')
0 files changed, 0 insertions, 0 deletions