avigad.github.io/logic_and_proof

Preview meta tags from the avigad.github.io website.

Linked Hostnames

3

  • General Meta Tags

    3
    • title
      Logic and Proof — Logic and Proof 3.18.4 documentation
    • charset
      ascii
    • viewport
      width=device-width, initial-scale=1.0

  • Link Tags

    6
    • index
      genindex.html
    • next
      introduction.html
    • search
      search.html
    • shortcut icon
      _static/favicon.ico
    • stylesheet
      _static/alabaster.css

Links

3