Formal proof size measurement on Dim. Imbedding
1,103Direct Sizesorry-first methodology
Evaluation Results
| Method | Links | |||||
|---|---|---|---|---|---|---|
| sorry-first methodology2026.04 | 1,103 | 6,271 | 96 | — | — |
Loading the SOTA2 catalog…
| Method | Links | |||||
|---|---|---|---|---|---|---|
| sorry-first methodology2026.04 | 1,103 | 6,271 | 96 | — | — |