Share your thoughts, 1 month free Claude Pro on us
See more
Home
/
Benchmarks
Autoformalization on Munkres’ Topology (Sections 12–50 (39))
Loading...
24
Active days
Isabelle/HOL
13.6
16.3
19
21.7
Apr 8, 2026
Active days
Lines of Code
Remaining Gaps
Updated 9d ago
Evaluation Results
Method
Method
Links
Active days
Lines of Code
Remaining Gaps
Isabelle/HOL
Logic=HOL, LLMs=ChatGP...
2026.04
24
85,472
0
Megalodon
Logic=Higher-order set...
2026.04
14
130,000
-
Feedback
Search any
task
Search any
task
