Popular repositories Loading

1. S4.2 S4.2 Public

   Agda 1

2. agdarya agdarya Public

   Forked from gwaithimirdain/narya

   A proof assistant for higher-dimensional type theory

   OCaml 1

3. regcat-normal-form regcat-normal-form Public

   Cubical Agda formalization of the canonical normal form theorem for the type theory of regular categories

   Agda 1

4. computability computability Public

   TeX

5. advanced-topics advanced-topics Public

   Coq

6. abstract-interpreter abstract-interpreter Public

   TeX