docs.idris-lang.org/en/latest/tutorial/theorems.html

Preview meta tags from the docs.idris-lang.org website.

Linked Hostnames

4

  • General Meta Tags

    7
    • title
      Theorem Proving — Idris 1.3.3 documentation
    • charset
      utf-8
    • viewport
      width=device-width, initial-scale=1.0
    • readthedocs-project-slug
      idris
    • readthedocs-version-slug
      latest

  • Link Tags

    7
    • index
      ../genindex.html
    • next
      provisional.html
    • prev
      views.html
    • search
      ../search.html
    • stylesheet
      ../_static/css/theme.css

Links

5