sphere-eversion. Formalization of the existence of sphere eversions

github.com/lecopivo/sphere-eversion
by @lecopivo

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.