CS 576: Topics in Automated Deduction |
The website for the page is an evolving entity. Please check
back periodically.
|
Instructor: Prof. Elsa Gunter Email: egunter@cs.uiuc.edu Office: 2112 SC Phone: 265-6118 Office hours: Tuesdays 10:00am - 11:15 am, Thursdays 2:00 - 3:15 pm, and Mondays by appointment. |
Here are some directories containing course material:
Lecture notes for the course (cs576)
Homework exercises (aka MPs)
Documentation for Isabelle (including textbook)
Downloads for installing Isabelle and ProofGeneral
Theory files for the demos given in class
Suggested projects and papers for projects
The class newsgroup is found at:
news://class.cs567
Here is a link to the main Isabelle website: