Zulip Chat Archive
Stream: Lean for Scientists and Engineers 2024
Topic: channel events
Notification Bot (Jul 08 2024 at 17:44):
Public channel created by Kevin Buzzard. Description:
Channel for Tyler Josephson's Lean course
Notification Bot (Jul 10 2024 at 00:30):
Kim Morrison changed the access permissions for this channel from Public to Web-public.
Last updated: May 02 2025 at 03:31 UTC