Formal proof size measurement on Urysohn metriz. 34.1
1,196Direct Proof Size
sorry-first methodology
Updated 9d ago
Evaluation Results
| Method | Links | |||||
|---|---|---|---|---|---|---|
2026.04 | 1,196 | 3,373 | 19 | - | - | |
2026.04 | - | - | - | 2,174 | - | |
2026.04 | - | - | - | - | 275 |
sorry-first methodology
| Method | Links | |||||
|---|---|---|---|---|---|---|
2026.04 | 1,196 | 3,373 | 19 | - | - | |
2026.04 | - | - | - | 2,174 | - | |
2026.04 | - | - | - | - | 275 |