Blog Posts
- 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
Leonardo de Moura
Senior Principal Applied Scientist at AWS
Chief Architect and co-founder of the Lean FRO
leodemoura0@gmail.com