Pinned Loading

1. 2-groups-agda 2-groups-agda Public

   A mechanized study of coherent 2-groups

   Agda 9

2. colimits-agda colimits-agda Public

   Formal proofs related to coslice colimits and 2-coherent left adjoints

   Agda 5

3. DFA-minimization DFA-minimization Public

   A modern implementation of Hopcroft's algorithm

   Standard ML

4. Monadic-parser Monadic-parser Public

   A monadic parser for arithmetic expressions

   OCaml

5. Whitehead-agda Whitehead-agda Public

   Proof of Whitehead's theorem for truncated types in Book HoTT

   Agda

6. Isabelle-exercises Isabelle-exercises Public

   Solutions to the exercises in "Programming and Proving in Isabelle/HOL"

   Isabelle 3 3