search

trishullab / PutnamBench

An evaluation benchmark for undergraduate competition math in Lean4, Isabelle, Coq, and natural language.
56 stars 8 forks source link

Jasper #189

Closed leejasper851 closed 3 months ago

leejasper851 commented 3 months ago

1996-1998 Isabelle and Coq fixes, plus some other fixes