Skip to content
@HoTT-Intro

Introduction to Homotopy Type Theory

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

Pinned Loading

  1. Agda Public

    Agda formalisation of the Introduction to Homotopy Type Theory

    Agda 123 4

Repositories

Showing 3 of 3 repositories
  • Agda Public

    Agda formalisation of the Introduction to Homotopy Type Theory

    Agda 123 GPL-3.0 4 0 0 Updated Nov 27, 2021
  • Coq Public

    Formalization of the Introduction to Homotopy Type Theory in Coq

    Coq 7 GPL-3.0 0 0 0 Updated Aug 2, 2020
  • HoTT-Intro.github.io Public
    HTML 1 0 0 0 Updated Jul 28, 2020

People

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

Top languages

Coq Agda HTML

Most used topics

Loading…