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 Agda Public

    Agda formalisation of the Introduction to Homotopy Type Theory

    Agda 124 4

Repositories

Showing 3 of 3 repositories
  • Agda Public

    Agda formalisation of the Introduction to Homotopy Type Theory

    HoTT-Intro/Agda’s past year of commit activity
    Agda 124 GPL-3.0 4 0 0 Updated Nov 27, 2021
  • Coq Public

    Formalization of the Introduction to Homotopy Type Theory in Coq

    HoTT-Intro/Coq’s past year of commit activity
    Coq 7 GPL-3.0 0 0 0 Updated Aug 2, 2020
  • HoTT-Intro.github.io Public
    HoTT-Intro/HoTT-Intro.github.io’s past year of commit activity
    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…