CSCI2950-y
Theorem Proving
- Instructor(s):
-
- Course Home Page:
-
| Offered This Year? |
No
|
| When Offered? |
Most Years
|
Description
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 written permission of the instructor.
|
Page Owner: webmaster
|
Last Modified: Wed Jun 18 14:06:28 2008
|
