Included mathcomp-analysis and classical.

trishullab / PutnamBench

An evaluation benchmark for undergraduate competition math in Lean4, Isabelle, Coq, and natural language.

56 stars 8 forks source link

Closed GeorgeTsoukalas closed 1 month ago