Formal proof size measurement on Tietze extension 35.1
324Direct Component Size
sorry-first methodology
Updated 9d ago
Evaluation Results
| Method | Links | |||||
|---|---|---|---|---|---|---|
2026.04 | 324 | 3,597 | 18 | - | - | |
2026.04 | - | - | - | 10,369 | - |
sorry-first methodology
| Method | Links | |||||
|---|---|---|---|---|---|---|
2026.04 | 324 | 3,597 | 18 | - | - | |
2026.04 | - | - | - | 10,369 | - |