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