Homotopy Type Theory
Results
8
repositories owned by
Homotopy Type Theory
HoTT-Agda
408
Stars
59
Forks
Watchers
Development of homotopy type theory in Agda
Coq-HoTT
1.2k
Stars
181
Forks
Watchers
A Coq library for Homotopy Type Theory
coq
27
Stars
5
Forks
Watchers
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 developme...
Foundations
17
Stars
2
Forks
Watchers
Development of the univalent foundations of mathematics in Coq