Discussion:
Coq website down?
(too old to reply)
Xuanrui Qi
2018-11-05 23:47:00 UTC
Permalink
Hi all,

I can't access the Coq website coq.inria.fr, but can ping. Is the Coq
website temporarily down?

Thanks.

-Ray

Loading...