Twelf User's Guide

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

• HTML
• PostScript (gzipped)
• PDF

Related Information

• Home page for Twelf.
• Home page for Elf, the predecessor of Twelf, funded by the National Science Foundation under grant CCR-9303383.
• Home page for LLF, the linear cousin of Twelf.
• Home page for logical frameworks