https://limperg.de
LMU Munich Munich, Germany PhD student at LMU Munich, building Lean 4 automation.
Jannis Limperg
Category Theory in Agda. Learning exercise, not for public consumption.
JLimperg
