Proof Node Pruning on PrimeNumberTheoremAnd
315Review ConeLean Compass
Evaluation results
| Method | Links | |||
|---|---|---|---|---|
| Lean CompassMain Theorem=Erdos392.Solution_22026.03 | 315 | 1 | 99.7 | |
| Lean CompassMain Theorem=MediumPNT2026.03 | 309 | 1 | 99.7 | |
| Lean CompassMain Theorem=prime_between2026.03 | 245 | 1 | 99.6 | |
| Lean CompassMain Theorem=WeakPNT_AP2026.03 | 239 | 2 | 99.2 | |
| Lean CompassMain Theorem=pi_alt’2026.03 | 237 | 1 | 99.6 | |
| Lean CompassMain Theorem=lambda_pnt2026.03 | 233 | 1 | 99.6 | |
| Lean CompassMain Theorem=mu_pnt2026.03 | 231 | 1 | 99.6 | |
| Lean CompassMain Theorem=WeakPNT2026.03 | 213 | 2 | 99.1 |