Popular repositories Loading

1. narya narya Public

   A proof assistant for higher-dimensional type theory

   OCaml 154 10

2. catlog catlog Public

   Categorical logic from a categorical point of view

   TeX 77 9

3. ohtt ohtt Public

   H.O.T.T. using rewriting in Agda

   Agda 39 3

4. cohesivett cohesivett Public

   Cohesive type theory

   TeX 18 3

5. dirtt dirtt Public

   Directed type theory for formal category theory

   TeX 17 3

6. basictex basictex Public

   My basic LaTeX macros and BibTeX file.

   TeX 13 4