coq.inria.fr
Operational
Global Availability Hash: 0xe53d9ac2
Network Integrity: 100%
Network Layer IP
131.254.150.100
Global Avg Latency
969ms
Edge Node 01
Code: 200
London, UK
95ms
DNS LOOKUP
976ms
CONNECT
UP
Edge Node 02
Code: 200
New York, USA
131ms
DNS LOOKUP
980ms
CONNECT
UP
Edge Node 03
Code: 200
Tokyo, Japan
80ms
DNS LOOKUP
951ms
CONNECT
UP
Verification Protocol Sec-01
Independent Verification Result for coq.inria.fr
This check was executed by our distributed monitoring mesh. By routing requests through independent edge nodes, we eliminate local ISP congestion and regional DNS issues to provide a definitive status for coq.inria.fr.
Timestamp
2026.05.18 12:45:00 UTC
Engine
V3.1.2_NODE
Method
TCP/HANDSHAKE
Confidence
99.9% HIGH