Popular repositories Loading

1. Relative-Monads Relative-Monads Public

   Relative Monad Library for Agda

   Agda 24 2

2. TT-in-TT TT-in-TT Public

   Type theory in type theory

   16 2

3. Big-step-Normalisation Big-step-Normalisation Public

   Agda formalisations of some big-step normalization proofs

   Agda 14 1

4. restriction-categories restriction-categories Public

   A formalisation of Restriction Categories in Agda

   Agda 12 1

5. categories categories Public

   A category theory library for Agda

   Agda 9

6. ITT9200 ITT9200 Public

   ITT9200 - A reading group on "Syntax and Semantics of Dependent Types" by Martin Hofmann

   5 1