This is your work, valued
Compilers, types and programming for fun
prim-parser. Lean4: Total parser combinator library with do notation
interpretability-logics. Agda
neo-lean-mode. Emacs mode for editing Lean 4 files
mlda. Modal Logic for Distributed Algorithms
group-theory. Lean
