Formal proof size measurement on Space-filling curve 44.1
325Direct Proof Sizesorry-first methodology
Evaluation Results
| Method | Links | |||||
|---|---|---|---|---|---|---|
| sorry-first methodology2026.04 | 325 | 1,919 | 44 | — | — |
Loading the SOTA2 catalog…
| Method | Links | |||||
|---|---|---|---|---|---|---|
| sorry-first methodology2026.04 | 325 | 1,919 | 44 | — | — |