Rocq

Common The Archives

Place in the album: No. 91,148 of 97,350
Address: rocq-prover.org

What the site says

Welcome to a World of Rocq

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

Play to get it

Free, in your browser. A booster every 10 minutes.

Web TCG is a collectible card game where every card is a real website: 97,350 sites, six worlds, boosters to open.

Is this your website?

Show your visitors: paste this badge on your site. It links back to this page.

Code to paste into your page

<a href="https://web-tcg.com/carte/rocq--prover-org"><img src="https://web-tcg.com/badge/rocq--prover-org.en.svg" width="320" height="84" alt="My website is a Common card in Web TCG"></a>

Web TCG is not affiliated with rocq-prover.org. Each card presents a public website: its name, its logo and what it says about itself.

You represent this website and would rather it had no card? Ask for its removal.