Skip to content
@HoTT

Homotopy Type Theory

Popular repositories Loading

  1. book book Public

    A textbook on informal homotopy type theory

    TeX 2k 360

  2. Coq-HoTT Coq-HoTT Public

    A Coq library for Homotopy Type Theory

    Coq 1.3k 193

  3. HoTT-Agda HoTT-Agda Public

    Development of homotopy type theory in Agda

    Agda 416 59

  4. EPIT-2020 EPIT-2020 Public

    EPIT 2020 - Spring School on Homotopy Type Theory

    TeX 103 11

  5. M-types M-types Public

    A formalization of M-types in Agda

    Agda 32 2

  6. coq coq Public

    Forked from coq/coq

    Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive develo…

    OCaml 27 5

Repositories

Showing 10 of 10 repositories
  • Coq-HoTT Public

    A Coq library for Homotopy Type Theory

    HoTT/Coq-HoTT’s past year of commit activity
    Coq 1,259 193 100 (6 issues need help) 18 Updated Nov 22, 2024
  • book Public

    A textbook on informal homotopy type theory

    HoTT/book’s past year of commit activity
    TeX 2,034 360 73 4 Updated Jun 17, 2024
  • HoTT-2023 Public Forked from HoTT/HoTT-2019

    Conference on Homotopy Type Theory 2023

    HoTT/HoTT-2023’s past year of commit activity
    SCSS 13 MIT 6 0 0 Updated Jan 24, 2024
  • coq Public Forked from coq/coq

    Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

    HoTT/coq’s past year of commit activity
    OCaml 27 LGPL-2.1 669 51 0 Updated Dec 27, 2023
  • EPIT-2020 Public

    EPIT 2020 - Spring School on Homotopy Type Theory

    HoTT/EPIT-2020’s past year of commit activity
    TeX 103 MIT 11 0 3 Updated Jul 29, 2021
  • M-types Public

    A formalization of M-types in Agda

    HoTT/M-types’s past year of commit activity
    Agda 32 BSD-3-Clause 2 1 0 Updated Mar 7, 2020
  • HoTT-2019 Public

    Conference on Homotopy Type Theory 2019

    HoTT/HoTT-2019’s past year of commit activity
    CSS 15 MIT 6 3 0 Updated Sep 18, 2019
  • HoTT-Agda Public

    Development of homotopy type theory in Agda

    HoTT/HoTT-Agda’s past year of commit activity
    Agda 416 MIT 59 7 1 Updated Feb 19, 2019
  • Archive Public

    Archived materials related to Homotopy Type Theory.

    HoTT/Archive’s past year of commit activity
    10 2 0 0 Updated Apr 24, 2012
  • Foundations Public Forked from UniMath/Foundations

    Development of the univalent foundations of mathematics in Coq

    HoTT/Foundations’s past year of commit activity
    Coq 17 21 0 0 Updated Apr 24, 2012

Most used topics

Loading…