google-deepmindformal_conjectures

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

  1. google-deepmind/imousesv4.22.0

    Lean formalizations of IMO problem statements