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: Dec 20 2023 at 11:08 UTC