15-399 Constructive Logic
Software

The current version of course software Tutch is 0.51 beta, October 27, 2000. Documentation for Tutch is available in various formats.

• HTML (suitable for browsing)
• PDF (suitable for viewing and printing)
• PostScript (suitable for printing)

The examples from the documentation are available under /afs/andrew/scs/cs/15-399/examples/. You can copy them with

  $ cp -a /afs/andrew/scs/cs/15-399/examples/* .

What's New?

• (Oct 25) To fulfill the demands of the tutch user community, the documentation now contains a summary of all constructs of the tutch language.

[ Home | Schedule | Assignments | Handouts | Software | Overview ]

fp@cs
Frank Pfenning