Friday morning

Stream: Lean for the curious mathematician 2020

[Johan Commelin]

Hello everyone, our next session starts in a bit more than 10 minutes.

Today, we've changed the schedule a little bit. This morning we will have 1 talk by Patrick Massot. The talk on "Calculus", by Yury Kudriashov has been moved to the afternoon, and merged into his other talk on "Measure theory and integration".
See https://leanprover-community.github.io/lftcm2020/schedule.html for the updated schedule.

Zoom is open!

Join Zoom Meeting
https://vu-live.zoom.us/j/95402085900

Meeting ID: 954 0208 5900
Password: 333537

[Johan Commelin]

We are starting in 2 minutes!