Pinned

1. aesop Public

   White-box automation for Lean 4

   Lean 71 10

2. well-founded-corecursion Public

   An attempt to integrate well-founded recursion into corecursion

   Agda 6

3. msc-thesis-code Public

   Agda formalisation of my M.Sc. thesis: a lambda calculus with sized types and a reflexive graph model of the same

   Agda 5

4. SessionTypes Public

   Some mechanised proofs about session types

   Coq

5. cats Public

   Category Theory in Agda. Learning exercise, not for public consumption.

   Agda 22 1