ResearchBenchmarksFormal proof size measurement on Thm nowhere-diff. 49.1Formal proof size measurement on Thm nowhere-diff. 49.1Follow53Direct Proof Sizesorry-first methodology50.3551.6755354.325Apr 8, 2026Evaluation resultsMethodMethodLinksDirect Proof SizeSection Proof SizeHelper Proof SizeMegal. Proof SizeM–P Proof Sizesorry-first methodology2026.04531,29624——