Summary
During this seminar, Malvin Gattinger gave us an introduction to type theory, which is the foundation of Lean. The slides can be found here
Next week
Next week, we continue with chapter 4 (we skip 4.3).
Seminar 6 – Type theory
31/03/2026
31/03/2026
During this seminar, Malvin Gattinger gave us an introduction to type theory, which is the foundation of Lean. The slides can be found here
Next week, we continue with chapter 4 (we skip 4.3).