Leonardo de Moura
informaticien américain, connu pour les logiciels Lean et Z3
Leonardo de Moura
Leonardo Mendonça de Moura est un informaticien brésilien, chercheur chez Microsoft Research et l'auteur des assistants de preuve Z3 (en) et Lean.
Lire sur Wikipédia · Image David.Monniaux, CC BY-SA 4.0
Ouvre des boosters, collectionne des cartes et échange-les. Gratuit.
Jouer gratuitement