home

coq.inria.fr

Marie-Christine Plancon

Domain Information

The hosted servers are located in Le Chesnay, Ile-De-France within France which resides on the RIPE Network Coordination Centre network.
Registrar:
GIP RENATER

Server location:
Ile-De-France, France (FR)

ASN:
AS2200 FR-RENATER Reseau National de telecommunications pour la Technologie, FR

Root domain:
inria.fr

Whois:
1 inria.fr record

The domain coq.inria.fr has been seen to resolve to the following IP address.

128.93.132.64
coq-roc.inria.fr
April 18, 2016

File downloads found at URLs served by coq.inria.fr.

0 / 68
https://coq.inria.fr/distrib/V8.5pl1/.../coq-installer-8.5pl1-win32.exe  (e6459e803460591200a56b95b7e1fa70)

0 / 68
https://coq.inria.fr/distrib/V8.4pl6/.../coq-installer-8.4pl6.exe  (cd4123911553297a0b6dc98dd8876bec)

URL:
http://coq.inria.fr/

Title:
“Welcome! | The Coq Proof Assistant”

SSL certificate subject:
CN=coq.inria.fr, OU=Domain Control Validated

SSL certificate issuer:
CN=TERENA SSL CA 2, O=TERENA, L=Amsterdam, S=Noord-Holland, C=NL

Web server:
Apache

Facebook:
Likes:  22
Shares:  35
Comments:  13

Statistics are for the previous month.

herdProtect is a second line of defense malware removal platform powered by 68 anti-malware engines in the cloud. Since no single anti-malware program is perfect 100% of the time, herdProtect utilizes a 'herd' of multiple engines to guarantee the widest coverage and the earliest possible detection.