homotopytypetheory.org/coq

Preview meta tags from the homotopytypetheory.org website.

Linked Hostnames

5

  • General Meta Tags

    6
    • title
      Page not found | Homotopy Type Theory
    • charset
      UTF-8
    • robots
      max-image-preview:large
    • generator
      WordPress.com
    • application-name
      Homotopy Type Theory

  • Link Tags

    22
    • EditURI
      https://hottheory.wordpress.com/xmlrpc.php?rsd
    • alternate
      https://homotopytypetheory.org/feed/
    • alternate
      https://homotopytypetheory.org/comments/feed/
    • apple-touch-icon
      https://secure.gravatar.com/blavatar/17cafeb69ca3ce791373a3386099f92e03dd0f03b76a53292d670a553cc609e6?s=114
    • dns-prefetch
      //s1.wp.com

Links

14