# Coq official website inaccessible?

**URL:** <https://discourse.rocq-prover.org/t/coq-official-website-inaccessible/2010>\
**Category:** Using Rocq\
**Created:** [August 16, 2023, 10:49am UTC](https://discourse.rocq-prover.org/t/coq-official-website-inaccessible/2010 "2023-08-16T10:49:48Z")\
**Posts on this page:** 3\
**Page:** 1

<div class="post-metadata">

**Author:** ![zyang](https://sea1.discourse-cdn.com/flex001/user_avatar/discourse.rocq-prover.org/zyang/32/862_2.png) [@zyang](https://discourse.rocq-prover.org/u/zyang)\
**Post date:** [August 16, 2023, 10:49am UTC](https://discourse.rocq-prover.org/t/coq-official-website-inaccessible/2010/1 "2023-08-16T10:49:48Z")

</div>

Just found out I cannot access any page of [coq.inria.fr](http://coq.inria.fr) like some basic library

[https://coq.inria.fr/library/Coq.Lists.List.html](https://coq.inria.fr/library/Coq.Lists.List.html)

for about a week.

---

<div class="post-metadata">

**Author:** ![Zimmi48](https://sea1.discourse-cdn.com/flex001/user_avatar/discourse.rocq-prover.org/zimmi48/32/7_2.png) [@Zimmi48](https://discourse.rocq-prover.org/u/Zimmi48)\
**Post date:** [August 16, 2023, 1:27pm UTC](https://discourse.rocq-prover.org/t/coq-official-website-inaccessible/2010/2 "2023-08-16T13:27:04Z")

</div>

Indeed, unfortunately, a combination of unlucky factors has resulted in this situation. We are aware of it and actively working on fixing it. See [https://coq.zulipchat.com/#narrow/stream/237656-Coq-devs-.26-plugin-devs/topic/Website.20down.3F](https://coq.zulipchat.com/#narrow/stream/237656-Coq-devs-.26-plugin-devs/topic/Website.20down.3F) for more info.

FWIW, all of Coq documentation is also available through this address, which is not affected by the downtime: [Coq documentation](https://coq.github.io/doc/)

---

<div class="post-metadata">

**Author:** ![palmskog](https://sea1.discourse-cdn.com/flex001/user_avatar/discourse.rocq-prover.org/palmskog/32/38_2.png) [@palmskog](https://discourse.rocq-prover.org/u/palmskog)\
**Post date:** [August 16, 2023, 2:06pm UTC](https://discourse.rocq-prover.org/t/coq-official-website-inaccessible/2010/3 "2023-08-16T14:06:21Z")

</div>

Unfortunately the [Coq Stdlib documentation on GitHub](https://coq.github.io/doc/v8.17/stdlib/) 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.