drift-coder/lean-dojo--LeanMillenniumPrizeProblemspublic

Formalization of the Millennium Problems in Lean 4

Lean Updated 2 months ago 1 commits 63 stars
drift-coder|Mirror: lean-dojo/LeanMillenniumPrizeProblems (⭐63)
2 months ago

About

Formalization of the Millennium Problems in Lean 4

Readme
63 stars
16 forks