Detailansicht
Moritz Doll | Mathematics in Lean
Startdatum und Uhrzeit: 23.06.2022 - 14:00
Enddatum und Uhrzeit: 16.06.2022 - 16:00
Adresse: MZH 4140
Organisator/Ansprechpartner: Prof. Dr. Anke Pohl / Prof. Dr. Marc Keßeböhmer,
Preis: 0€
We give an overview of the interactive proof assistant Lean. We will discuss why formalization of mathematics is worthwhile and showcase how to formalize a few simple theorems