Zulip Chat Archive
Stream: general
Topic: Lean companion to "Analysis I" - discussion
Notification Bot (Jul 07 2025 at 08:22):
This topic was moved to #Analysis I > Lean companion to "Analysis I" - discussion by Kevin Buzzard.
Kevin Buzzard (Jul 07 2025 at 08:23):
(further discussion about this project should take place in the #Analysis I channel.
Last updated: Dec 20 2025 at 21:32 UTC