Tag Archives: scheme
The Sphere Eversion Project
Patrick Massot has written a blueprint for sphere eversion. This marks the beginning of a community formalisation project. Continue reading
Posted in Imperial, Learning Lean, Type theory
Tagged cap set, Johannes Hölzl, Patrick Massot, perfectoid space, Rob Lewis, Sander Dahmen, scheme, sphere eversion
2 Comments
Xena 