An evaluation benchmark for undergraduate competition math in Lean4, Isabelle, Coq, and natural language.
Lean
264
869 commits
updated Sep 22, 2026
Contributors
Languages
Lean
42.0%
Isabelle
36.2%
Rocq Prover
20.1%
Python
1.6%
An evaluation benchmark for undergraduate competition math in Lean4, Isabelle, Coq, and natural language.
Lean
264
869 commits
updated Sep 22, 2026
Contributors
Languages
Lean
42.0%
Isabelle
36.2%
Rocq Prover
20.1%
Python
1.6%