Pinned Loading

1. UniMath/TypeTheory UniMath/TypeTheory Public

   The mathematical study of type theories, in univalent foundations

   Coq 118 25

2. HoTT HoTT Public

   Forked from HoTT/Coq-HoTT

   Homotopy type theory

   Coq 2

3. UniMath UniMath Public

   Forked from UniMath/UniMath

   This coq library aims to formalize a substantial body of mathematics using the univalent point of view.

   Coq

4. general-type-theories general-type-theories Public

   A (formalised) general definition of type theories

   Coq 59 2