coq.inria.fr
Operational
Global Availability Hash: 0xcf500a47
Network Integrity: 100%
Network Layer IP
131.254.150.100
Global Avg Latency
867ms
Edge Node 01
Code: 200
London, UK
64ms
DNS LOOKUP
902ms
CONNECT
UP
Edge Node 02
Code: 200
New York, USA
2ms
DNS LOOKUP
858ms
CONNECT
UP
Edge Node 03
Code: 200
Tokyo, Japan
2ms
DNS LOOKUP
841ms
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.08.10 02:26:52 UTC
Engine
V3.1.2_NODE
Method
TCP/HANDSHAKE
Confidence
99.9% HIGH