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.
It works for me.
back to normal for me...
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: Sep 23 2023 at 14:01 UTC