Rocq

Común Los Archivos

Un sitio de saber

Puesto en el álbum: N.º 91.148 de 97.350
Dirección: rocq-prover.org

Lo que dice el sitio

Welcome to a World of Rocq

Rocq is a general-purpose, industrial-strength interactive theorem prover.

Juega para conseguirla

Gratis, en tu navegador. Un sobre cada 10 minutos.

Web TCG es un juego de cartas coleccionables donde cada carta es un sitio web real: 97.350 sitios, seis mundos, sobres que abrir.

¿Es tu sitio?

Enséñaselo a tus visitantes: pega esta insignia en tu sitio. Enlaza a esta página.

Código para pegar en tu página

<a href="https://web-tcg.com/carte/rocq--prover-org"><img src="https://web-tcg.com/badge/rocq--prover-org.es.svg" width="320" height="84" alt="Mi sitio es una carta Común de Web TCG"></a>

Web TCG no está afiliado a rocq-prover.org. Cada carta presenta un sitio público: su nombre, su logo y lo que dice de sí mismo.

¿Representas este sitio y prefieres que no tenga carta? Pide su retirada.