homotopytypetheory.org/blog
Preview meta tags from the homotopytypetheory.org website.
Linked Hostnames
76- 381 links tohomotopytypetheory.org
- 67 links togithub.com
- 19 links toarxiv.org
- 17 links toncatlab.org
- 15 links toen.wikipedia.org
- 12 links togolem.ph.utexas.edu
- 10 links tovideo.ias.edu
- 10 links towww.cs.cmu.edu
Thumbnail
General Meta Tags
6- titleBlog | Homotopy Type Theory
- charsetUTF-8
- robotsmax-image-preview:large
- generatorWordPress.com
- application-nameHomotopy Type Theory
Open Graph Meta Tags
9- og:typewebsite
- og:titleHomotopy Type Theory
- og:urlhttps://homotopytypetheory.org/blog/
- og:site_nameHomotopy Type Theory
- og:imagehttps://secure.gravatar.com/blavatar/17cafeb69ca3ce791373a3386099f92e03dd0f03b76a53292d670a553cc609e6?s=200&ts=1731037281
Link Tags
24- EditURIhttps://hottheory.wordpress.com/xmlrpc.php?rsd
- alternatehttps://homotopytypetheory.org/feed/
- alternatehttps://homotopytypetheory.org/comments/feed/
- apple-touch-iconhttps://secure.gravatar.com/blavatar/17cafeb69ca3ce791373a3386099f92e03dd0f03b76a53292d670a553cc609e6?s=114
- dns-prefetch//s1.wp.com
Emails
2Links
666- http://adam.chlipala.net/cpdt/html/Equality.html#lab66
- http://adam.chlipala.net/cpdt/html/Intro.html
- http://arg.ciirc.cvut.cz
- http://arxiv.org/abs/1103.2841
- http://arxiv.org/abs/1201.3898