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