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. Syllepsis-in-Coq Syllepsis-in-Coq Public

   Coq

6. LaTeX-template LaTeX-template Public template

   TeX 2