GitHub - google-deepmind/formal-conjectures: A collection of formalized statements of conjectures in Lean.

DRANK

A collection of formalized statements of conjectures in Lean. - google-deepmind/formal-conjectures