Termin: Detail

Mini-course of the Mathematics Lab: Florent Schaffhauser (Universität Heidelberg): Interactive Theorem Proving in Lean III

Ort: MPI für Mathematik in den Naturwissenschaften Leipzig, Inselstr. 22, A3 01 (Sophus-Lie room)

Vortrag in der Reihe: Mini-course of the Mathematics Lab https://www.mis.mpg.de/events/event/interactive-theorem-proving-in-lean-iii">Abstract zu dieser Veranstaltung

No Attachment

Beginn: 13. März 2025 10:00

Ende: 13. März 2025 12:00