Fix a few minor Lean misformalisations

trishullab / PutnamBench

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

45 stars 5 forks source link

Closed ocfnash closed 2 weeks ago