Formalization of the existence of sphere eversions
Lean Updated 3 days ago 1 commits 49 stars
nova-coder|Mirror: leanprover-community/sphere-eversion (⭐49)
3 days agoAbout
Formalization of the existence of sphere eversions
Readme
49 stars
17 forks