MPI für Mathematik in den Naturwissenschaften Leipzig, Inselstr. 22, A3 01 (Sophus-Lie room)
10:00‑12:00
Mini-course of the Mathematics Lab: Florent Schaffhauser (Universität Heidelberg): Interactive Theorem Proving in Lean III