Princeton University
Computer Science Department
Computer Science 598A
Automated Theorem Proving
Andrew Appel
Assignment 6
Spring 2003
General Information
|
Schedule
|
Assignments
|
Announcements
Assignment 6: Computation Tree Logic in Twelf
Make a
ctl
directory in the main directory of
the logic from assignment 5
, and put
these files
into it. Then prove the theorems on pages 166-167 of Huth and Ryan. You can just fill in the holes in the
as6.elf
file.
