Im Jahr 2021 habe ich angefangen in meiner Freizeit zu Lean’s mathematischer Bibliothek beizutragen. Nachdem ich 2025 meine Promotion abgeschlossen habe, trage ich auch jetzt wieder regelmäßig bei.
