Zulip Chat Archive
Stream: sphere eversion
Topic: Project completion
Patrick Massot (Nov 15 2022 at 15:14):
The project is now completed, see https://leanprover.zulipchat.com/#narrow/stream/116395-maths/topic/Sphere.20eversion.20project/near/310222035.
Kevin Buzzard (Nov 16 2022 at 11:30):
Congratulations to all of you.
Last updated: Dec 20 2023 at 11:08 UTC