Zulip Chat Archive
Stream: sphere eversion
Topic: File reorganization
Patrick Massot (Dec 21 2021 at 19:06):
@Anatole Dedecker @Oliver Nash @Floris van Doorn be careful to pull if you want to work on the project because I just pushed a lot of moving around files. This is preparation for a future mathlib PR sprint.
Last updated: May 02 2025 at 03:31 UTC