Formal Proof Size Measurement on Urysohn lemma 33.1
287Directsorry-first methodology
Evaluation Results
| Method | Links | |||||
|---|---|---|---|---|---|---|
| sorry-first methodology2026.04 | 287 | 3,126 | 20 | — | — | |
| Megalodon2026.04 | — | — | — | 2,964 | — |
Loading the SOTA2 catalog…
| Method | Links | |||||
|---|---|---|---|---|---|---|
| sorry-first methodology2026.04 | 287 | 3,126 | 20 | — | — | |
| Megalodon2026.04 | — | — | — | 2,964 | — |