Blogs / Personal blogs

Leonardo de Moura — Creator of Lean and Z3

Popular posts

3

Total points

671

HN comments

441

Rank

#3,645 personal

Visit leodemoura.github.io → RSS feedOn Hacker News Mar 2026 – Oct 2026

Software Engineering 3Open Source 2AI & Machine Learning 1