ResearchBenchmarksFormal proof size measurement on Nagata–SmirnovFormal proof size measurement on Nagata–SmirnovFollow968Direct Sizesorry-first methodology919.6943.8968992.2Apr 8, 2026Evaluation resultsMethodMethodLinksDirect SizeSection SizeHelpers SizeMegalithic SizeM-P Sizesorry-first methodology2026.049682,45538——