Share your thoughts, 1 month free Claude Pro on us
See more
Home
/
Benchmarks
Formal proof size measurement on Smirnov metriz. 42.1
Loading...
83
Direct Proof Size
sorry-first methodology
78.85
80.925
83
85.075
Apr 8, 2026
Direct Proof Size
Section Proof Size
Helper Components Count
Megal. Proof Size
M–P Proof Size
Updated 9d ago
Evaluation Results
Method
Method
Links
Direct Proof Size
Section Proof Size
Helper Components Count
Megal. Proof Size
M–P Proof Size
sorry-first methodology
2026.04
83
347
4
-
-
Feedback
Search any
task
Search any
task
