2400264 – 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)
Benjamin Lenox, Runqing Xu
Studiengang
Informatik, Lehramt Fach Informatik
Credits
3
Start
28. Okt 2026
Ende
17. Feb 2027
Veranstaltungsart
Praktikum
Ort
50.34 Raum 301
Termin
14:00 - 15:30
Zyklus
wöchtl.

Allgemein

Sprache
Englisch

Lizenz und Nachnutzung

Lizenz
All rights reserved

Verfügbarkeit

Zugriff
7. Okt 2026, 14:42 - 9. Apr 2027, 14:42
Aufnahmeverfahren
Sie können diesem Kurs direkt beitreten.
Zeitraum für Beitritte
Unbegrenzt
Freie Plätze
9
Veranstaltungszeitraum
28. Okt 2026 - 17. Feb 2027

Für Kursadministration freigegebene Daten

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

Zusätzliche Informationen

Objekt-ID
4002910