Zulip Chat Archive
Stream: Lean Together 2024
Topic: stream events
Notification Bot (Jan 08 2024 at 16:34):
Public stream created by Patrick Massot. Description:
Information and discussion about the Lean Together 2024 meeting
Last updated: May 02 2025 at 03:31 UTC