15-718 Advanced Topics in PL Theory: Istari

12 units, Carnegie Mellon University

The course covers the Istari proof assistant: its type theory and its practical use in proving theorems and reasoning about programs.

Prerequisites: none listed

Offered: Spring 2027, Spring 2026

Courseweave needs JavaScript to show sections, workloads and planning tools.