Mathematical Institute
AG Pfaffelhuber
Research
Publications
People
Peter Pfaffelhuber
Samuel Adeosun
Carola Heinzel
Sebastian Stroppel
Alumni
Lehre/Teaching
Formal Friday (ongoing)
Interactive Theorem Proving using Lean (SS 2025)
Stochastic Processes (WS 2024)
Measure theory for probabilists (WS 2024)
Probability theory (SS 2024)
Jakob Stiefel
Information:
Here is some information!
Topic 1
List item 1
List item 2
Publications
Here are some publications.
