cats. Category Theory in Agda. Learning exercise, not for public consumption.
22regensburg-itp-school-2023. Materials for my lecture at the 2023 International School on Interactions of Proof Assistants and Mathematics in Regensburg
7internal-language. Lean
6msc-thesis-code. Agda formalisation of my M.Sc. thesis: a lambda calculus with sized types and a reflexive graph model of the same
6well-founded-corecursion. An attempt to integrate well-founded recursion into corecursion
6docker-agda-stdlib. Docker image with Agda and agda-stdlib
5elan-cleanup. A tool for cleaning up unused Lean toolchains
5opdtab. Tabbing software for OPD debating tournaments
4msc-thesis. A Reflexive Graph Model of Sized Types (M.Sc. thesis)
3artifact-aesop-forward-cade-30. Artifact generator for the paper "Incremental Forward Reasoning for White-Box Proof Search" (submission to CADE 30)
3Align. Help folks to align text, eqns, declarations, tables, etc
2talk-2025-01-lean-together-aesop-forward. Slides for a talk about Aesop's efficient forward reasoning, given at Lean Together in January 2025
2SalSSuite. Server-Client-Tool for the organisers of 'Schule als Staat' or similar projects.
2sf-seminar-2023. Materials for my Software Foundations seminar, 2023 edition
1paper-aesop-script. Paper "Tactic Script Optimisation for Aesop", to be published at CPP 2025
1tab-tools. Haskell
1lean4-aesop. Fork of Lean 4 with minor changes needed by the Aesop tactic
1dtt-seminar-2024. Materials for a 2024 seminar on dependent type theory at LMU Munich
1phd-thesis. My PhD thesis
1tabbycat. Python
1