google-deepmindformal_conjectures

A collection of formalized statements of conjectures in Lean.
#math
Displaying 1-2 of 2 packages depending on google-deepmind/formal_conjectures
Sort by

  1. google-deepmind/imousesv4.27.0

    Lean formalizations of IMO problem statements

  2. google-deepmind/minif2fusesv4.27.0

    A fork of openai/miniF2F adapted to Lean 4, with corrections to formalizations and informal descriptions. for human readers.