Twelf User's Guide
This version of the Twelf User's Guide describes Twelf 1.3 which is current an alpha release.
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