Go to Main Content

Brown University



Detailed Course Information


Spring 2017
May 30, 2020
Transparent Image
  Select the desired Level or Schedule Type to find available classes for the course.

CSCI 2950Y - Theorem Proving
This course explores computer-assisted theorem proving with the Coq Proof Assistant. The course will teach students to formally specify software and model mathematical theories. We will then study techniques for mechanically proving theorems about these Coq. Prerequisites: CSCI 1730 or CSCI 0170 and permission of the instructor.
1.000 Credit hours
1.000 Lecture hours

Levels: Graduate, Undergraduate
Schedule Types: Primary Meeting

Computer Science Department

Undergraduate level CSCI 0170 Minimum Grade of S or Undergraduate level CSCI 1730 Minimum Grade of S

Return to Previous New Search
Transparent Image
Skip to top of page