Introductions to Twelf

From The Twelf Project
Jump to: navigation, search

The following introductory guides are available:

  • Proving metatheorems with Twelf: if you have some background in programming languages but no prior experience with LF and Twelf, start with this introduction.
  • POPL Tutorial 2009: course materials from a Twelf tutorial at POPL 2009. This path through the material is the best introduction to Twelf, but it may be harder to follow along with online than Proving metatheorems.

Basic mechanics:

We plan to add other introductory articles for other audiences. If you have suggestions, please leave us a message.