trishullab/PutnamBench Issues
Putnam 2017 B2 issues
UpdatedPutname 1980 A5 issues
UpdatedPutnam 2009 B1 issues
UpdatedSome lean files do not compile
Closed 2Evaluation of Formal Proofs
Closed 1
An evaluation benchmark for undergraduate competition math in Lean4, Isabelle, Coq, and natural language.