coq.inria.fr
Operational
Global Availability Hash: 0x07718ce8
Network Integrity: 100%
Network Layer IP
131.254.150.100
Global Avg Latency
848ms
Edge Node 01
Code: 200
London, UK
6ms
DNS LOOKUP
852ms
CONNECT
UP
Edge Node 02
Code: 200
New York, USA
2ms
DNS LOOKUP
842ms
CONNECT
UP
Edge Node 03
Code: 200
Tokyo, Japan
2ms
DNS LOOKUP
851ms
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.05 22:18:09 UTC
Engine
V3.1.2_NODE
Method
TCP/HANDSHAKE
Confidence
99.9% HIGH