Zulip Chat Archive
Stream: Analysis I
Topic: channel events
Notification Bot (Jul 06 2025 at 21:20):
Web-public channel created by Patrick Massot. Description:
Discussion about all topics related to the Lean companion to the "Analysis I" textbook
Last updated: Dec 20 2025 at 21:32 UTC