Leo de Moura - The State of Lean

Stream: Lean Together 2026

[Jireh Loreaux]

Discussion thread for the talk.

[Ching-Tsun Chou]

Is Leo's presentation available somewhere? Thanks in advance!

[Jireh Loreaux]

All the talks so far have been recorded, but we have not had time to edit and upload them anywhere for viewing. Probably this will happen early next week.

[Ching-Tsun Chou]

Sorry, I meant the slides of the presentation.

[Leonardo de Moura]

https://leodemoura.github.io/files/LeanTogether2026.pdf