search

coq / coq.github.io

Source files of the coq.inria.fr website
https://coq.inria.fr/
Other
15 stars 37 forks source link

coq.inria.fr/ is not working/reachable. #209

Closed LumaKernel closed 1 year ago

LumaKernel commented 1 year ago

coq.inria.fr/ looks not working now (name resolvable, but unreachable). I checked it was working a few days ago.

Used this site https://semonto.com/ to confirm it's unreachable from all the world.

image

For users who wants to see docs for now, you can refer to github pages instead. https://coq.github.io/doc/v8.17/refman/

gares commented 1 year ago

We are aware of this, see also https://coq.zulipchat.com/#narrow/stream/237656-Coq-devs-.26-plugin-devs/topic/Parts.20of.20website.20down.3F

LumaKernel commented 1 year ago

It's working now. Thanks.