Formal proof size measurement on Tietze extension 35.1
324Direct Component Sizesorry-first methodology
Evaluation results
| Method | Links | |||||
|---|---|---|---|---|---|---|
| sorry-first methodology2026.04 | 324 | 3,597 | 18 | — | — | |
| Megalodon2026.04 | — | — | — | 10,369 | — |
| Method | Links | |||||
|---|---|---|---|---|---|---|
| sorry-first methodology2026.04 | 324 | 3,597 | 18 | — | — | |
| Megalodon2026.04 | — | — | — | 10,369 | — |