coq.inria.fr/refman/practical-tools/coqide.html

Preview meta tags from the coq.inria.fr website.

Linked Hostnames

4

  • General Meta Tags

    4
    • title
      RocqIDE — The Rocq Prover 9.0.0 documentation
    • charset
      utf-8
    • generator
      Docutils 0.17.1: http://docutils.sourceforge.net/
    • viewport
      width=device-width, initial-scale=1.0

  • Link Tags

    11
    • index
      ../genindex.html
    • next
      ../addendum/parallel-proof-processing.html
    • prev
      ../using/tools/coqdoc.html
    • search
      ../search.html
    • stylesheet
      ../_static/pygments.css

Links

35