Proof Node Pruning on FLT
31Review ConeLean Compass
Evaluation results
| Method | Links | |||
|---|---|---|---|---|
| Lean CompassMain Theorem=Wiles_Taylor_Wiles2026.03 | 31 | 1 | 96.8 | |
| Lean CompassMain Theorem=FreyPackage.false2026.03 | 27 | 2 | 92.6 | |
| Lean CompassMain Theorem=Wiles_Frey2026.03 | 25 | 16 | 36 | |
| Lean CompassMain Theorem=Mazur_Frey2026.03 | 23 | 16 | 30.4 | |
| Lean CompassMain Theorem=ker_RtoT_le_nilradical2026.03 | 17 | 8 | 52.9 | |
| Lean CompassMain Theorem=FreyPackage.of_not_FermatLastTheorem2026.03 | 4 | 2 | 50 |