coq.inria.fr

Operational

Global Availability Hash: 0xdf6f2752 Network Integrity: 100%

Network Layer IP

131.254.150.100

Global Avg Latency

874ms

Edge Node 01

Code: 200

London, UK

7ms

DNS LOOKUP

884ms

CONNECT

Edge Node 02

Code: 200

New York, USA

2ms

DNS LOOKUP

859ms

CONNECT

Edge Node 03

Code: 200

Tokyo, Japan

2ms

DNS LOOKUP

879ms

CONNECT

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.06.02 07:39:48 UTC

Engine

V3.1.2_NODE

Method

TCP/HANDSHAKE

Confidence

99.9% HIGH