Carta Rara
Coq
- Valor
- 50 W
- Ataque
- 299
- Defensa
- 239
- Jugadores
- 0
Rocq (previamente conocido como Coq) es un sistema de ayuda para la demostración de teoremas que maneja aserciones matemáticas, verifica mecánicamente las pruebas de aserciones, ayuda a encontrar pruebas para esas aserciones y extrae programas certificados (correctos) a partir de las pruebas…
Consigue Coq en tu colección
Cada carta de Wikilord es un artículo de Wikipedia. Abre sobres gratis, intercambia, combate y sube en la clasificación.
Abrir un sobre gratis