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

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