Explore Homotopy Type Theory with in-depth resources, research, and community insights. Join us in advancing the understanding of this innovative field.
We may use cookies or any other tracking technologies when you visit our website, including any other media form, mobile website, or mobile application related or connected to help customize the Site and improve your experience. learn more
