Automath

Commune · Savoir · concept mathématique

2Automath

Savoir, concept mathématiqueC

Érudition. En arrivant : pioche une carte.

1 641

1 265

Pl. 325785WikiArcana

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: 1 641
Richesse : 9 déclarations, comparé aux autres cartes du même type.
Défense: 1 265
Rayonnement : 3 sitelinks, comparé aux autres cartes du même type.

Résumé Wikipédia

Automath était un langage formel, développé par Nicolaas Govert de Bruijn à partir de 1967, dont le but était d'exprimer des théories mathématiques complètes de manière à inclure un assistant de preuve qui pouvait en vérifier la correction.

Lire l'article sur Wikipédia

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

Données : Wikidata (CC0).

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.

2Automath

Savoir, concept mathématiqueC

Érudition. En arrivant : pioche une carte.

1 641

1 265

Pl. 325785WikiArcana

NormaleChance : 87 %

2Automath

Savoir, concept mathématiqueC

Érudition. En arrivant : pioche une carte.

1 641

1 265