Matthew Brecknell mbrcknl

Popular repositories Loading

1. Code from a talk given at YOW! Lambda Jam 2013

   Haskell 15 1

2. Code from a talk given at YOW! Lambda Jam 2015

   Coq 3

3. Lemmas contributed to the 2017 FP-Syd Coq Fight

   Coq 3

4. Schrödinger's hats: a puzzle about parities and permutations

   Isabelle 2

6. GitHub action to wait for named artifacts to become available in another workflow, and to optionally download them.

   JavaScript 1