Share your thoughts, 1 month free Claude Pro on us
See more
Home
/
Benchmarks
Formal proof size measurement on Tychonoff 37.3
Loading...
198
Direct Size
sorry-first methodology
188.1
193.05
198
202.95
Apr 8, 2026
Direct Size
Section Size
Helper Size
Megal. Size
M-P Size
Updated 9d ago
Evaluation Results
Method
Method
Links
Direct Size
Section Size
Helper Size
Megal. Size
M-P Size
sorry-first methodology
2026.04
198
1,394
6
-
-
Feedback
Search any
task
Search any
task
