Zulip Chat Archive
Stream: Lean for the curious mathematician 2020
Topic: Wednesday afternoon
Johan Commelin (Jul 15 2020 at 10:55):
The next talk will start in 5 minutes
Johan Commelin (Jul 15 2020 at 10:55):
Join Zoom Meeting
https://vu-live.zoom.us/j/95402085900
Meeting ID: 954 0208 5900
Password: 333537
Last updated: Dec 20 2023 at 11:08 UTC