ResearchBenchmarksFormal proof size measurement on Baire category 48.2Formal proof size measurement on Baire category 48.2Follow62Direct Proof Sizesorry-first methodology58.960.456263.55Apr 8, 2026Evaluation resultsMethodMethodLinksDirect Proof SizeSection Proof SizeHelper Proof SizeMegal. Proof SizeM–P Proof Sizesorry-first methodology2026.04622,90721——