coq.inria.fr/distrib/current/refman
Preview meta tags from the coq.inria.fr website.
Linked Hostnames
7- 24 links torocq-prover.org
- 4 links togithub.com
- 1 link tocompcert.inria.fr
- 1 link tocoq.inria.fr
- 1 link toreadthedocs.org
- 1 link towww.opencontent.org
- 1 link towww.sphinx-doc.org
General Meta Tags
4- titleIntroduction and Contents — The Rocq Prover 9.0.0 documentation
- charsetutf-8
- generatorDocutils 0.17.1: http://docutils.sourceforge.net/
- viewportwidth=device-width, initial-scale=1.0
Link Tags
10- indexgenindex.html
- nextlanguage/core/index.html
- searchsearch.html
- stylesheet_static/pygments.css
- stylesheet_static/css/theme.css
Links
33- http://compcert.inria.fr
- http://www.opencontent.org/openpub
- https://coq.inria.fr/documentation
- https://github.com/coq/coq/blob/master/doc/sphinx/index.rst
- https://github.com/coq/coq/releases/download/V9.0.0/rocq-9.0.0-reference-manual.pdf