InstructorProf. Suresh Jagannathan Room 3154J Lawson Computer Science Building Ph: x4-0971 suresh@cs.purdue.edu Office Hours: Tu, Th. 4 - 5PM |

A detailed syllabus can be found here.

- Course Overview
- Download Software Foundations
- Download Coq 8.5
- Download Proof General or CoqIde
- Fill in "Admits" in Basics.v from Software Foundations.

- Finish exercises in Basics.v. A particularly interesting exercise you should be comfortable solving is starsM (alternative number representation).