ResearchBenchmarksFormal proof size measurement on Space-filling curve 44.1Formal proof size measurement on Space-filling curve 44.1Follow325Direct Proof Sizesorry-first methodology308.75316.875325333.125Apr 8, 2026Evaluation resultsMethodMethodLinksDirect Proof SizeSection Proof SizeHelper Proof SizeMegal Proof SizeM-P Proof Sizesorry-first methodology2026.043251,91944——