leanprover-community / sphere-eversionLinks

Formalization of the existence of sphere eversions
41Updated last week

Alternatives and similar repositories for sphere-eversion

Users that are interested in sphere-eversion are comparing it to the libraries listed below

Sorting: