Repositories
4
 Projects Packages Members
1
Filter
Sort
LeanCourse25
Lean 0 0
Fork of the lecture files for the Lean Course taught my Prof. Floris van Doorn and Michael Rothgang at the University of Bonn in the winter term 25/26. This repository contains @Flo and my own notes / solutions of sheets / etc.
Updated 2025-12-04 10:17:22 +01:00
representation-theory-1
TeX 0 0
Updated 2025-05-30 15:25:10 +02:00
algebra-1
TeX 0 0
Updated 2025-04-10 16:29:50 +02:00
game-theory-in-flow-problems
TeX 0 0
Lecture Notes for the course taught by Prof. Vargas-Koch at the university of Bonn in winter term 23/24.
Updated 2023-10-18 08:46:34 +02:00

Members 1