15-399 Constructive Logic

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 ]

Frank Pfenning