Coq official website inaccessible?

Just found out I cannot access any page of like some basic library

for about a week.

Indeed, unfortunately, a combination of unlucky factors has resulted in this situation. We are aware of it and actively working on fixing it. See for more info.

FWIW, all of Coq documentation is also available through this address, which is not affected by the downtime: Coq documentation

Unfortunately the Coq Stdlib documentation on GitHub is also affected due to using assets from the website. But if one aborts the loading of the documentation in browser, it should be possible to see the resulting HTML page without assets.