r/homotopytypetheory

🚀129 subscribers
📆Date created: 07/12/2013

Homotopy Type Theory! The book as well as the theory.

Rank
109820
SEO
Facebook
0
Pinterest
0
Linkedin
0
Found subreddits like r/homotopytypetheory
Sorted by: Best match
chat

TOP CONTENT FROM R/HOMOTOPYTYPETHEORY

💬 See what people in r/homotopytypetheory are talking about