0 operability checks occurred for coq.inria.fr within the time frame of 0 days after November 19, 2024. Checks of coq.inria.fr as of November 19, 2024, resulted in downtime or the detection of some problems. Coq.inria.fr did not experience any issues related to downtime based on checks carried out as of November 19, 2024. The replies that have been received as of November 19, 2024, indicate that all of the responses have been reported as error-free. On November 19, 2024, coq.inria.fr's response time of 0 seconds differed from its average of 0.000 seconds.