Formal Proof Size Measurement on Urysohn lemma 33.1
287Direct
sorry-first methodology
Updated 9d ago
Evaluation Results
| Method | Links | |||||
|---|---|---|---|---|---|---|
2026.04 | 287 | 3,126 | 20 | - | - | |
2026.04 | - | - | - | 2,964 | - |
sorry-first methodology
| Method | Links | |||||
|---|---|---|---|---|---|---|
2026.04 | 287 | 3,126 | 20 | - | - | |
2026.04 | - | - | - | 2,964 | - |