Share your thoughts, 1 month free Claude Pro on us
See more
Home
/
Benchmarks
Formal proof size measurement on Nagata–Smirnov
Loading...
968
Direct Size
sorry-first methodology
919.6
943.8
968
992.2
Apr 8, 2026
Direct Size
Section Size
Helpers Size
Megalithic Size
M-P Size
Updated 9d ago
Evaluation Results
Method
Method
Links
Direct Size
Section Size
Helpers Size
Megalithic Size
M-P Size
sorry-first methodology
2026.04
968
2,455
38
-
-
Feedback
Search any
task
Search any
task
