Theorem Proving in Lean

leanprover.github.io

2 pointsfspeech1 comment

Leonardo de Moura is also the architect of Z3 prover: https://leodemoura.github.io/about.html What a productive guy!