coq.inria.fr/distrib/current/refman/language/cic.html

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

Linked Hostnames

4

  • General Meta Tags

    4
    • title
      Typing rules — 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
      core/variants.html
    • prev
      core/conversion.html
    • search
      ../search.html
    • stylesheet
      ../_static/pygments.css

Links

29