Popular repositories Loading

1. catlog catlog Public

   Categorical logic from a categorical point of view

   TeX 81 10

2. ohtt ohtt Public

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

   Agda 46 3

3. cohesivett cohesivett Public

   Cohesive type theory

   TeX 19 3

4. dirtt dirtt Public

   Directed type theory for formal category theory

   TeX 17 3

5. Coq-HoTT Coq-HoTT Public

   Forked from HoTT/Coq-HoTT

   Homotopy type theory

   Coq 14 4

6. basictex basictex Public

   My basic LaTeX macros and BibTeX file.

   TeX 14 4