Zulip Chat Archive
Stream: Lean for the curious mathematician 2020
Topic: Tuesday morning
Johan Commelin (Jul 14 2020 at 07:53):
Hello everyone, we're starting again in a bit more than 5 minutes! The first talk will be by Patrick Massot, on "Mathematics in Lean: basics"
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