**Profile:** [Wikipedia](https://en.wikipedia.org/wiki/Leonardo_de_Moura) ![[Leonardo de Moura.png]] **eBooks:** [[zStaging area ==================/Courses and eBooks/Theorem Proving in Lean 4 - Avigad/Theorem Proving in Lean 4 - Avigad|Theorem Proving in Lean 4 - co-author ]] --- Author: [[dducoff]] Posted Date: 2026-06-25