Blog Posts
- 14 Mar 2026 » Teaching AI to Make Proof Automation Work
- 28 Feb 2026 » When AI Writes the World's Software, Who Verifies It?
- 18 Feb 2026 » Proof Assistants in the Age of AI
Leonardo de Moura
Senior Principal Applied Scientist at AWS
Chief Architect and co-founder of the Lean FRO
leodemoura0@gmail.com
