Ruchira S. Datta

The Lean Together 2026 recordings are up on YouTube!

https://www.youtube.com/watch?v=oplzR1UW5ho&list=PLlF-CfQhukNmAVSsoqc0gcTWcVZ3VVKhI

#LeanProver #LeanLang

Patrick Massot (on behalf of Lean Together Organizers) - Opening Remarks (Lean Together 2026)

YouTube
Jan 29 at 12:19amWeb