search

trishullab / PutnamBench

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

Isabelle & Coq verifications: 1983-1986 #198

Closed MichaelHenryJennings closed 2 months ago