Exploring Formalisation A Primer in Human-Readable Mathematics in Lean 3 with Examples from Simplicial Topology Löh, Clara Heftet / 2022 / Engelsk
Ergodic Theoretic Methods in Group Homology A Minicourse on L2-Betti Numbers in Group Theory Löh, Clara Heftet / 2020 / Engelsk
Quod erat knobelandum Themen, Aufgaben und Lösungen des Schülerzirkels Mathematik der Universität Regensburg Löh, Clara Heftet / 2019 / Tysk
