Zulip Chat Archive
Stream: Lean for the curious mathematician 2020
Topic: Thursday morning
Johan Commelin (Jul 16 2020 at 07:44):
Good morning (afternoon/night) everyone! The next talk is starting at 10:00. Zoom is already open.
Join Zoom Meeting
https://vu-live.zoom.us/j/95402085900
Meeting ID: 954 0208 5900
Password: 333537
Johan Commelin (Jul 16 2020 at 07:59):
We are starting in a couple of minutes! Please move to Zoom :smiley:
Last updated: Dec 20 2023 at 11:08 UTC