Go to Main Content

Brown University

 

HELP | EXIT

Detailed Course Information

 

Spring 2022
Mar 29, 2024
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.
0.000 OR 1.000 Credit hours
0.000 OR 1.000 Lecture hours

Levels: Graduate, Undergraduate
Schedule Types: Discussion Section/Conference, Primary Meeting

Computer Science Department

Prerequisites:
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
Release: 8.7.2.4