Rocq (logiciel)
Rocq (logiciel) est une carte à collectionner dans WikiMasters, de rareté super rare. Ses caractéristiques sont partagées par tous les exemplaires de sa version normale.
Caractéristiques de la carte
- Rareté
- Super rare
- Attaque
- 6 526
- Défense
- 7 179
L’attaque et la défense sont des valeurs du jeu, indépendantes des qualités du sujet représenté.
À propos de Rocq (logiciel)
Lire sur WikipédiaRocq (anciennement appelé Coq) est un assistant de preuve utilisant le langage Gallina, développé par l'équipe PI.R2 de l’Inria au sein du laboratoire PPS du CNRS et en partenariat avec l'École polytechnique, le CNAM, l'université Paris-Diderot et l'université Paris-Sud (et antérieurement l'École normale supérieure de Lyon). En 2013, Rocq a été récompensé du Programming Languages Software Award par l'ACM SIGPLAN. Rocq a reçu en 2022 le premier prix science ouverte du logiciel libre de la recherc
Extrait de Wikipédia en français, éventuellement abrégé. Texte sous licence CC BY-SA 4.0.
Comment obtenir cette carte ?
Les packs contiennent cinq cartes sélectionnées aléatoirement dans le catalogue. Aucun pack ne garantit cette page précise. Tu peux aussi rechercher cette carte au marché des joueurs ou proposer un échange à un ami.
Les cartes super rares représentent 7 % du catalogue. Ce pourcentage concerne la rareté entière, pas cette carte seule.
Historique du marché
Aucune vente conclue pour la version normale de cette carte. Les WikiCoins sont la monnaie virtuelle du jeu.