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 |