15-815 Interactive Theorem Proving

6 units, Carnegie Mellon University

Please refer tohttps://www.cs.cmu.edu/~csd-grad/courseschedules15.html for the most recent schedule updates.

Prerequisites: none listed

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