Seminar Einführung in Lean

Verantwortliche: Rudolf Zeidler und Christoph Stephan

Wann: Dienstag 14:15-15:45

Wo: Haus 9, Raum 1.22

Geeignet für:
BSc Mathematik, MSc Mathematik, Doktoranden, PostDocs

Modulnummern:
MATVMD1011, MATVMD1012, MATBMD150, MATVMD861

Erforderliche Vorkenntnisse:
keine

Moodle: Link zum Moodle Kurs