Théorie des types

Fondation des mathématiques sur des expressions typées et des preuves construites comme objets

Épique · Savoir · branche des mathématiques

5Théorie des types

Savoir, branche des mathématiquesÉ

Érudition. En arrivant : pioche une carte.

fondation des mathématiques sur des expressions typées et des preuves construites comme objets

7 411

7 294

Pl. 2334483WikiArcana

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: 7 411
Richesse : 39 déclarations, comparé aux autres cartes du même type.
Défense: 7 294
Rayonnement : 26 sitelinks, comparé aux autres cartes du même type.

Résumé Wikipédia

Lire l'article sur Wikipédia

Données : Wikidata (CC0). Image : Immagine classi astratte wikipedia.png 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 à Théorie des types dans Wikidata. En combat, posées sur le même territoire, les cartes liées se renforcent : +1 par lien (jusqu'à +3).

5Système formel

Savoir, type de systèmeÉ

Érudition. En arrivant : pioche une carte.

modélisation mathématique d'un langage

7 228

7 420

Pl. 2269953WikiArcana

4Théorie des types homotopiques