Share your thoughts, 1 month free Claude Pro on us
See more
Home
/
Benchmarks
Formal proof size measurement on Space-filling curve 44.1
Loading...
325
Direct Proof Size
sorry-first methodology
308.75
316.875
325
333.125
Apr 8, 2026
Direct Proof Size
Section Proof Size
Helper Proof Size
Megal Proof Size
M-P Proof Size
Updated 9d ago
Evaluation Results
Method
Method
Links
Direct Proof Size
Section Proof Size
Helper Proof Size
Megal Proof Size
M-P Proof Size
sorry-first methodology
2026.04
325
1,919
44
-
-
Feedback
Search any
task
Search any
task