School of Computer Science

Twelf User's Guide

This version of the Twelf User's Guide describes Twelf 1.3 which is current an alpha release.

Related Information


Frank Pfenning, Carsten Schürmann
fp@cs.cmu.edu, carsten@cs.cmu.edu