Template:The Twelf Project/Getting Started

From The Twelf Project

Download Twelf or try it online.

Learn Twelf:

• Read the introductions to Twelf first.
• The tutorials explain common Twelf tricks and techniques.
• The case studies present interesting applications of Twelf.
• The glossary defines Twelf terminology.
• Have a question? Ask Twelf Elf!

See the documentation page for more resources.