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