Found 5 repositories(showing 5)
trishullab
An evaluation benchmark for undergraduate competition math in Lean4, Isabelle, Coq, and natural language.
AkhilDeo
No description available
Adarsh321123
No description available
banr1
No description available
faabian
PutnamBench with solutions as a LeanDojo-traceable repo
All 5 repositories loaded