15-399, 80-317/617
Constructive Logic
Software
The current version of course software Tutch is 0.51 beta, Aug 2001.
Documentation for Tutch is available in various formats.
The examples from the documentation are available
here.
You can also copy them with
$ cp -a /afs/andrew/course/80/317/examples/* .
What's New?
- Sep 28 : Some sample annotated proofs are in
rec1.tut.
You can also copy the file directly from
$ cp /afs/andrew/course/80/317/examples/rec2.tut .
The corresponding requirement file is in
/afs/andrew/course/80/317/req/rec2.req
- Sep 10 : Examples we talked about in recitation together with some additional problems can be found in
rec1.tut.
You can also copy the file directly from
$ cp /afs/andrew/course/80/317/examples/rec1.tut .
The corresponding requirement file is in
/afs/andrew/course/80/317/req/rec1.req
[ Home
| Schedule
| Assignments
| Handouts
| Software
| Overview
]
awodey@cmu.edu
Steve Awodey
|