Blog · corpus.blog/blogs/homotopytypetheory.org
homotopytypetheory.org
homotopytypetheory.org · uncategorised · not detected
- Posts on record
- 108
- First published
- 15 March 2011
- Last published
- 25 October 2023
- Feed
- homotopytypetheory.org/feed/
- Language
- not detected
- Category
- uncategorised
Is this your blog?
Claim it to see who cites you, get citation alerts, send webmentions for the people you link to, and download your archive as markdown.
25blogs citing
38 links from citing blogs
Most cited pages
Page
Blogs
17blogs
9blogs
Just Kidding: Understanding Identity Elimination in Homotopy Type Theory
/2011/04/10/just-kidding-understanding-identity-elimination-in-homotopy-type-theory/
1blogs
Running Circles Around (In) Your Proof Assistant; or, Quotients that Compute
/2011/04/23/running-circles-around-in-your-proof-assistant/
1blogs
The HoTT Book
/2013/06/20/the-hott-book/
1blogs
Blogs citing this one
Blog
Links
Posts
Links and posts differ when one blog links here several times from a single post: that is counted once as a citing blog either way.
Recent posts
26 Jan 2023
9 Jun 2022
1 Dec 2021
15 Nov 2020
3 Oct 2020
9 May 2019
All 108 posts, by year
A source page reaches every post it holds, not only the newest fifteen.