Popular repositories Loading

1. hott-reading-course hott-reading-course Public

   Introduction to homotopy type theory (reading course), LP2 2023, offered via DAT235/DIT577: Research-oriented course in Computer Science and Engineering

   TeX 13 1

2. cisinski-higher-cats cisinski-higher-cats Public

   Reading group for Cisinski's higher categories and homotopical algebra

   8 1

3. HoTT-Agda HoTT-Agda Public

   Forked from HoTT/HoTT-Agda

   Development of homotopy type theory in Agda

   Agda

4. book book Public

   Forked from HoTT/book

   A textbook on informal homotopy type theory

   TeX

5. pommed-light pommed-light Public

   Forked from bytbox/pommed-light

   A trimmed version of the pommed hotkey handler for macbooks

   C

6. lc2016-builder lc2016-builder Public

   Static Website Generator for Logic Colloqium 2016

   Haskell