Popular repositories

1. HoTT-UF-Agda-Lecture-Notes Public

   Lecture notes on univalent foundations of mathematics with Agda

   Agda 182 17

2. TypeTopology Public

   Logical manifestations of topological concepts, and other things. This version adopts the univalent point of view.

   Agda 90 17

3. EffectfulForcing Public

   Files related to my paper "Continuity of Godel's system T functionals via effectful forcing". MFPS'2013. Electronic Notes in Theoretical Computer Science 01/2013, volume 298, pages 119-141.

   Agda 9

4. hott-notes Public

   Forked from maurer/hott-notes

   15-819 (Homotopy Type Theory) Lecture Notes

   TeX

5. HoTT-Agda Public

   Forked from HoTT/HoTT-Agda

   Development of homotopy type theory in Agda

   Agda

6. agda-stdlib Public

   Forked from agda/agda-stdlib

   The Agda standard library

   Agda