- Institut
- Webseiten im Uni-Auftritt
- Zur Startseite
- Forschung
- Konferenzen und Workshops
- Seminare
- Lehre
- Service
- IT
- Zur Startseite
- Dokumentation
- Service und Webdienste
- Software etc.
- E-Mail am Institut (nur alte Accounts)
- E-Mail an der Universität
Termin: Detail
Mini-course of the Mathematics Lab: Florent Schaffhauser (Universität Heidelberg): Interactive Theorem Proving in Lean IV
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-iv-1">Abstract zu dieser Veranstaltung
No Attachment
Beginn: 13. März 2025 14:00
Ende: 13. März 2025 16:00