| HypergeometricEqualityLemma.java |  | 0% |  | 0% | 105 | 105 | 256 | 256 | 87 | 87 | 35 | 35 |
| DigammaEqualityLemma.java |  | 0% |  | 0% | 122 | 122 | 236 | 236 | 56 | 56 | 23 | 23 |
| IncompleteBetaEqualityLemma.java |  | 0% |  | 0% | 138 | 138 | 173 | 173 | 46 | 46 | 19 | 19 |
| GammaInequalityLemma.java |  | 0% |  | 0% | 63 | 63 | 124 | 124 | 32 | 32 | 13 | 13 |
| DigammaInequalityLemma.java |  | 0% |  | 0% | 71 | 71 | 144 | 144 | 51 | 51 | 21 | 21 |
| GaussContiguousEqualityLemma.java |  | 0% |  | 0% | 37 | 37 | 103 | 103 | 31 | 31 | 13 | 13 |
| BetaEqualityLemma.java |  | 0% |  | 0% | 71 | 71 | 95 | 95 | 31 | 31 | 13 | 13 |
| DigammaSaddlePointEqualityLemma.java |  | 0% |  | 0% | 46 | 46 | 93 | 93 | 26 | 26 | 11 | 11 |
| GammaEqualityLemma.java |  | 0% |  | 0% | 24 | 24 | 54 | 54 | 16 | 16 | 7 | 7 |
| BigPiEqualityLemma.java |  | 0% |  | 0% | 17 | 17 | 36 | 36 | 11 | 11 | 5 | 5 |
| BesselSecondEqualityLemma.java |  | 0% |  | 0% | 17 | 17 | 35 | 35 | 11 | 11 | 5 | 5 |
| BesselFirstEqualityLemma.java |  | 0% |  | 0% | 17 | 17 | 33 | 33 | 11 | 11 | 5 | 5 |
| GammaPolynomialQuotientLemma.java |  | 0% |  | 0% | 9 | 9 | 24 | 24 | 4 | 4 | 1 | 1 |
| ReimannZetaEqualityLemma.java |  | 0% |  | 0% | 8 | 8 | 20 | 20 | 6 | 6 | 3 | 3 |