coq.inria.fr/distrib/current/refman/proof-engine/ssreflect-proof-language.html

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

Linked Hostnames

4

  • General Meta Tags

    4
    • title
      The SSReflect proof language — 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
      ../proofs/automatic-tactics/index.html
    • prev
      ../proofs/writing-proofs/reasoning-inductives.html
    • search
      ../search.html
    • stylesheet
      ../_static/pygments.css

Links

29