2400216 – Interactive Theorem Proving

This course teaches interactive theorem proving in Lean. The first half covers the fundamentals of writing and proving theorems in Lean. In the second half, students select either a provided topic or a self-selected topic to formalize in Lean.

Veranstaltungsdaten

Dozent(en)
Runqing Xu, Oliver Enes, Prof. Dr. Sebastian Erdweg
Studiengang
Informatik, Lehramt Fach Informatik
Credits
3
Start
22. Apr 2026
Ende
29. Jul 2026
Veranstaltungsart
Praktikum
Ort
50.34 Raum -119 (UG)
Termin
09:45 AM - 11:15 AM every Wednesday
Zyklus
wöchtl.

Allgemein

Sprache
Englisch

Lizenz und Nachnutzung

Lizenz
All rights reserved

Verfügbarkeit

Zugriff
Unbegrenzt – wenn online geschaltet
Aufnahmeverfahren
Sie können diesem Kurs direkt beitreten.
Zeitraum für Beitritte
Unbegrenzt
Freie Plätze
3
Veranstaltungszeitraum
22. Apr 2026 - 29. Jul 2026

Für Kursadministration freigegebene Daten

Daten des Persönlichen Profils
Anmeldename
Vorname
Nachname
E-Mail
Matrikelnummer

Zusätzliche Informationen

Objekt-ID
3822052