# Stdlib documentation online?

**URL:** <https://discourse.rocq-prover.org/t/stdlib-documentation-online/1599>\
**Category:** Using Rocq\
**Created:** [March 20, 2022, 1:44am UTC](https://discourse.rocq-prover.org/t/stdlib-documentation-online/1599 "2022-03-20T01:44:15Z")\
**Posts on this page:** 2\
**Page:** 1

<div class="post-metadata">

**Author:** ![nobrowser](https://sea1.discourse-cdn.com/flex001/user_avatar/discourse.rocq-prover.org/nobrowser/32/300_2.png) [@nobrowser](https://discourse.rocq-prover.org/u/nobrowser)\
**Post date:** [March 20, 2022, 1:44am UTC](https://discourse.rocq-prover.org/t/stdlib-documentation-online/1599/1 "2022-03-20T01:44:15Z")

</div>

The is a hyperlink in the online manual which purports to point to the stdlib modules documentation:

> The different modules of the Coq standard library are documented online at [https://coq.inria.fr/stdlib](https://coq.inria.fr/stdlib).

However, when I click on that I get a 404. Does that document exist? If not online, maybe in a PDF version?

---

<div class="post-metadata">

**Author:** ![silene](https://sea1.discourse-cdn.com/flex001/user_avatar/discourse.rocq-prover.org/silene/32/485_2.png) [@silene](https://discourse.rocq-prover.org/u/silene)\
**Post date:** [March 20, 2022, 6:47am UTC](https://discourse.rocq-prover.org/t/stdlib-documentation-online/1599/2 "2022-03-20T06:47:22Z")

</div>

Actually, they are at [https://coq.inria.fr/stdlib/](https://coq.inria.fr/stdlib/). The web server seems to be a bit too strict.