Seminar Introduction to Lean

Organizers: Rudolf Zeidler and Christoph Stephan

Time: Tuesday 14:15-15:45

Place: House 9, Room 1.22

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

Module numbers:
MATVMD1011, MATVMD1012, MATBMD150, MATVMD861

Required prerequisite courses:
none

Moodle: Link to the Moodle course