minif2f
A fork of openai/miniF2F adapted to Lean 4, with corrections to formalizations and informal descriptions. for human readers.
Sort by
Require Order
formal_conjectures
v4.27.0A collection of formalized statements of conjectures in Lean.