rocq-prover.org

.org crawl

First seen 2026-04-11 · Last seen 2026-05-20 · ok HTTP/1.1 200 1812 ms crawled 2026-05-19

FR · 131.254.150.100 · AS1938 Renater

Reputation 92/100 no dmarc policy

sector tech type homepage

HTML metadata

Title

Welcome to a World of Rocq

Description

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

Language

Canonical

https://rocq-prover.org

Feeds

Rocq Planet Feed RSS

Open Graph

title: Welcome to a World of Rocq
site name: Rocq
description: Rocq is a general-purpose, industrial-strength interactive theorem prover.

Technology

Server: nginx

Third-party hosts loaded (2)

plausible.ci.dev×1
unpkg.com×1

Social

Registration

Registrar

SafeBrands SAS

Created

2024-03-06

Expires

2027-03-06 289 days left

Updated

2026-02-08

Name servers

ns4.safebrands.org
ns1.safebrands.fr
ns2.safebrands.eu
ns3.safebrands.com
ns5.safebrands.tech

DNS records live

NS

ns1.safebrands.fr
ns2.safebrands.eu
ns3.safebrands.com
ns4.safebrands.org
ns5.safebrands.tech

MX

10 mail.rocq-prover.org

Email authentication weak

SPF: not published
DMARC: not published
DKIM: no key found at common selectors

Certificate (current)

GEANT TLS RSA 1

from 2026-02-27 to 2027-02-27

Expires in 283 days

Full certificate history on crt.sh ↗

HTTP security headers

Header hygiene 95/100 Checked live page: https://rocq-prover.org/

present

strict-transport-security
content-security-policy
x-frame-options
x-content-type-options
referrer-policy
permissions-policy

findings

CSP uses wildcard sources

Header values

referrer-policy: same-origin
x-frame-options: SAMEORIGIN
permissions-policy: geolocation=(),midi=(),sync-xhr=(),microphone=(),camera=(),magnetometer=(),gyroscope=(),fullscreen=(self),payment=()
x-content-type-options: nosniff
content-security-policy: frame-ancestors 'self' https://rocq-prover.org *.rocq-prover.org *.inria.fr
strict-transport-security: max-age=63072000; includeSubDomains