An Introduction to Lean

Oct. 9, 2026, 1:20 pm

Online

About the Event

Registration

---

About the Speaker

Michael Rothgang

Universität Bonn

Event Type

Seminar: Data Science and Machine Learning