coq.inria.fr
Welcome to a World of Rocq
Rocq is a general-purpose, industrial-strength interactive theorem prover.
| Status | 200 OK — live & indexed by cl0q |
|---|---|
| First seen | 2025-09-13 |
| Last crawled | 2026-06-15 |
| IPv4 | 131.254.150.100 |
| Network | AS1938 Renater · France |
| CNAME | rocq-prover.org |
| Mail (MX) | mail.rocq-prover.org. |
| Language | en |
| Server | nginx |