Proof Node Pruning on PhysLib
337Review Cone
Lean Compass
Updated 1mo ago
Evaluation Results
| Method | Links | |||
|---|---|---|---|---|
2026.03 | 337 | 11 | 96 | |
2026.03 | 196 | 94 | 52 | |
2026.03 | 150 | 27 | 82 | |
2026.03 | 59 | 12 | 79 | |
2026.03 | 29 | 18 | 37 |
Lean Compass
| Method | Links | |||
|---|---|---|---|---|
2026.03 | 337 | 11 | 96 | |
2026.03 | 196 | 94 | 52 | |
2026.03 | 150 | 27 | 82 | |
2026.03 | 59 | 12 | 79 | |
2026.03 | 29 | 18 | 37 |