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.
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.