ResearchBenchmarksFormal proof size measurement on Tychonoff 37.3Formal proof size measurement on Tychonoff 37.3Follow198Direct Sizesorry-first methodology188.1193.05198202.95Apr 8, 2026Evaluation resultsMethodMethodLinksDirect SizeSection SizeHelper SizeMegal. SizeM-P Sizesorry-first methodology2026.041981,3946——