Seminar Introduction to Lean

Organizers: Rudolf Zeidler and Christoph Stephan

Time: Tuesday 14:15-15:45

Place: TBA

Suitable for:
Bsc Mathematics, MSc Mathematics, PhD students, PostDocs.

Module numbers:
MATVMD1011, MATVMD1012, MATBMD150, MATVMD861

Required prerequisite courses:
none

Moodle: