Aktuell keine Informationen oder Nachrichten!
Jasper Ganten
Probability Theory and Monads: From Category Theory to Lean4 Implementation. Donnerstag, 18.9.25, 10:00 -11:00, Seminarraum 232