**Profile:** [Wikipedia](https://en.wikipedia.org/wiki/Leonardo_de_Moura) ![[Leonardo de Moura.png]] **eBooks:** [[Theorem Proving in Lean 4 - Avigad|Theorem Proving in Lean 4 - co-author ]] --- **Posted Date:** 2026-01-19