Leonardo de Moura

leodemoura.github.io

Personal website of Leonardo de Moura, creator of the Lean theorem prover and Z3 SMT solver. Contains publications, projects, and contact information.

why we picked it

The site aggregates Leonardo de Moura’s research work, including details on the Lean theorem prover and Z3 solver. It lists publications, talks, and software releases, offering a direct view into ongoing work in formal methods. Suited for researchers, students, or anyone tracking developments in interactive theorem proving and automated reasoning.

Checked with Google Web Risk · 1 day ago

Visit leodemoura.github.io ↗ ♡ Save ↻ Surf somewhere else

language: EN
here since: July 2026