The Wayback Machine - http://web.archive.org/web/20220516035051/https://github.com/HoTT-Intro
Skip to content

@HoTT-Intro

Introduction to Homotopy Type Theory

Formalization projects associated to the forthcoming Introduction to Homotopy Type Theory book.

Pinned

  1. Agda Public

    Agda formalisation of the Introduction to Homotopy Type Theory

    Agda 101 4

Repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…