CCC YC Formalizing the H-Principle and Sphere Eversion Story Published at: January 18, 2023 at 10:16AM Jan 18