15-718
Advanced Topics in PL Theory: Istari
Intermittent: 12 units The course covers the Istari proof assistant: its type theory and its practical use in proving theorems and reasoning about programs.
Sources
- Course catalogue ↗2026-2027
Intermittent: 12 units The course covers the Istari proof assistant: its type theory and its practical use in proving theorems and reasoning about programs.