GitHub repository: trishullab/PutnamBench
Primary language: Lean
Description: An evaluation benchmark for undergraduate competition math in Lean4, Isabelle, Coq, and natural language.