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: May 02 2025 at 03:31 UTC