Homotopy Type Theory (@HoTT)
Guthub

HoTT

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    3,909
  • Global Org. Rank 5,648 (Top 2 %)
  • Registered over 13 years ago
  • Most used languages
    Agda     33.3 %
    TeX
         33.3 %
    CSS
         16.7 %
    Coq     16.7 %

Top repositories

1

book

A textbook on informal homotopy type theory
TeX
2,028
star
2

Coq-HoTT

A Coq library for Homotopy Type Theory
Coq
1,250
star
3

HoTT-Agda

Development of homotopy type theory in Agda
Agda
414
star
4

EPIT-2020

EPIT 2020 - Spring School on Homotopy Type Theory
TeX
103
star
5

M-types

A formalization of M-types in Agda
Agda
32
star
6

HoTT-2019

Conference on Homotopy Type Theory 2019
CSS
15
star
7

Archive

Archived materials related to Homotopy Type Theory.
10
star