Lean Notes
Short updates on Lean development — what's changing, why, and where things are heading.
- 13 Mar 2026 » sym => : interactive mode for scalable verification
Leonardo de Moura
Senior Principal Applied Scientist at AWS
Chief Architect and co-founder of the Lean FRO
leodemoura0@gmail.com
