A collection of formalized statements of conjectures in Lean.
Lean Updated 22 days ago 1 commits 1,282 stars
sigma-ai|Mirror: google-deepmind/formal-conjectures (⭐1,282)
22 days agoAbout
A collection of formalized statements of conjectures in Lean.
Readme
1,282 stars
490 forks