ResearchBenchmarksFormal proof size measurement on Smirnov metriz. 42.1Formal proof size measurement on Smirnov metriz. 42.1Follow83Direct Proof Sizesorry-first methodology78.8580.9258385.075Apr 8, 2026Evaluation resultsMethodMethodLinksDirect Proof SizeSection Proof SizeHelper Components CountMegal. Proof SizeM–P Proof Sizesorry-first methodology2026.04833474——