GitHub repository: leanprover-community/sphere-eversion
Primary language: Lean
Created: 2020-06-03T12:52:04Z
Description: Formalization of the existence of sphere eversions