Popular repositories Loading

1. book book Public

   A textbook on informal homotopy type theory

   TeX 2.1k 368

2. Coq-HoTT Coq-HoTT Public

   A Coq library for Homotopy Type Theory

   Coq 1.3k 196

3. HoTT-Agda HoTT-Agda Public

   Development of homotopy type theory in Agda

   Agda 426 57

4. EPIT-2020 EPIT-2020 Public

   EPIT 2020 - Spring School on Homotopy Type Theory

   TeX 105 11

5. M-types M-types Public

   A formalization of M-types in Agda

   Agda 32 2

6. coq coq Public

   Forked from rocq-prover/rocq

   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