Talk by Leonardo de Moura

Stream: LftCM22

[Johan Commelin]

Tomorrow (Friday) at 10:30 we will have a talk by Leonardo de Moura, the lead developer and creator of Lean 1, 2, 3, and 4. You are all very much encouraged to take a break from your projects and exercises and attend that talk.