3 ms·
Leonardo 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!
by fspeech 12y ago
Leonardo 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!