Princeton University
Computer Science Dept.
Computer Science 496
Automated Theorem Proving
Andrew W. Appel
Spring 2001
Directory
General Information
|
Schedule and Readings
|
Assignments
|
Announcements
Announcements
6/3/2001: Here is the proof by induction that we did on class on Monday (
triang.elf
). It should compile just fine with the twelf code handed out for assignment 4. Just add it as the last file in "sources.cm" file.
Old Announcements
