Leonardo de Moura

Informaticien américain, connu pour les logiciels Lean et Z3

Peu commune · Personnage · humain · États-Unis

2Leonardo de Moura

Personnage, humainPC

Meneur. Tes autres cartes de ce territoire : +1.

informaticien américain, connu pour les logiciels Lean et Z3

3 025

2 478

Pl. 1441144WikiArcana

Cette carte peut sortir de tes packs

10 packs offerts, sans paiement · 1,58 million de cartes

Recevoir mes 10 packs

D'où viennent les stats

Attaque: 3 025
Hauts faits : 4, comparé aux autres cartes du même type.
Défense: 2 478
Aucune donnée chiffrée sur Wikidata : la valeur dépend de la renommée du sujet.

Résumé Wikipédia

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 l'article sur Wikipédia

Texte : extrait de l'article Wikipédia « Leonardo de Moura », sous licence CC BY-SA 4.0.

Données : Wikidata (CC0). Image : Leo de Moura P1210629.jpg sur Wikimedia Commons ; auteur et licence sur la page du fichier.

Signaler cette carte

Finitions

Chaque carte peut sortir d'un pack en plusieurs finitions ; le pourcentage est la chance qu'une carte tirée sorte dans celle-ci. Shiny et Gold renforcent aussi ses stats.

Cartes liées

Ces sujets sont reliés à Leonardo de Moura dans Wikidata. En combat, posées sur le même territoire, les cartes liées se renforcent : +1 par lien (jusqu'à +3).

4Microsoft Research