Popular repositories Loading

1. modal-logics modal-logics Public

   Agda formalisation of dual-context constructive modal logics.

   Agda 20 2

2. 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 1

3. unquote-n unquote-n Public

   Agda 1

4. pls-tt-tutorial pls-tt-tutorial Public

   TeX 1

5. ipcf ipcf Public

   Intensionality, Intensional Recursion, and the Gödel-Löb axiom (IMLA 2017)

   TeX

6. Syllepsis-in-Coq Syllepsis-in-Coq Public

   Coq