ruben-vandevelde / sphere-eversion Goto Github PK
View Code? Open in Web Editor NEWThis project forked from leanprover-community/sphere-eversion
Formalization of the existence of sphere eversions
Home Page: https://leanprover-community.github.io/sphere-eversion/
License: Apache License 2.0