Stream: Coq users

Topic: https://coq.inria.fr/documentation down?

view this post on Zulip Cyril Cohen (Dec 05 2021 at 14:07):

Is the page https://coq.inria.fr/documentation down for everyone or just me?
https://coq.inria.fr is still available for me though, my question is specifically about the doc.

view this post on Zulip Olivier Laurent (Dec 05 2021 at 14:32):

It works for me.

view this post on Zulip Cyril Cohen (Dec 06 2021 at 08:18):

back to normal for me...

view this post on Zulip Alexander Gryzlov (Dec 06 2021 at 22:37):

Very often I get a "coq.inria.fr is down" error when I try to load up the docs for the first try, but they load normally after a page refresh.

Last updated: Apr 20 2024 at 02:40 UTC