Proof Node Pruning on PrimeNumberTheoremAnd
315Review Cone
Lean Compass
Updated 1mo ago
Evaluation Results
| Method | Links | |||
|---|---|---|---|---|
2026.03 | 315 | 1 | 99.7 | |
2026.03 | 309 | 1 | 99.7 | |
2026.03 | 245 | 1 | 99.6 | |
2026.03 | 239 | 2 | 99.2 | |
2026.03 | 237 | 1 | 99.6 | |
2026.03 | 233 | 1 | 99.6 | |
2026.03 | 231 | 1 | 99.6 | |
2026.03 | 213 | 2 | 99.1 |