/sphere-eversion

Formalization of the existence of sphere eversions

Primary LanguageTeX

The sphere eversion project

The goal of this project is to formalize the proof of a theorem implying the existence of sphere eversions. Details can be found on the project website.