3 ms·Theorem Proving in Lean2 points by fspeech 12y agofspeech 12y agoLeonardo de Moura is also the architect of Z3 prover: https://leodemoura.github.io/about.html https://leodemoura.github.io/about.html What a productive guy!