HoTT/Archive HoTT/Archive

  • Stars
    star
    10
  • Rank 1,807,489 (Top 36 %)
  • Language
  • Created over 12 years ago
  • Updated over 12 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
HoTT/Archive
github

HoTT

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Archived materials related to Homotopy Type Theory.

More 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