Rocq

Commun Les Archives

Un site de savoir

Place dans l’album: N° 91 148 sur 97 350
Adresse: rocq-prover.org

Ce que dit le site

Welcome to a World of Rocq

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

Joue pour l’obtenir

Gratuit, dans ton navigateur. Un booster toutes les 10 minutes.

Web TCG est un jeu de cartes à collectionner où chaque carte est un vrai site web : 97 350 sites, six mondes, des boosters à ouvrir.

Ton site est une carte ?

Montre-le à tes visiteurs : colle ce badge sur ton site. Il renvoie vers cette page.

Code à coller dans ta page

<a href="https://web-tcg.com/carte/rocq--prover-org"><img src="https://web-tcg.com/badge/rocq--prover-org.svg" width="320" height="84" alt="Mon site est une carte Commun de Web TCG"></a>

Web TCG n’est pas affilié à rocq-prover.org. Chaque carte présente un site public : son nom, son logo et ce qu’il dit de lui-même.

Tu représentes ce site et tu préfères qu’il n’ait pas de carte ? Demande son retrait.