15-718 Theorem Proving in 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

CMU Courses needs JavaScript to show sections, schedules and planning tools.