Introductions to Twelf
From The Twelf Project
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.
- Summer school 2008: notes from a Twelf course at the University of Oregon Summer School on Logic and Theorem Proving in Programming Languages, July 2008
We plan to add other introductory articles for other audiences. If you have suggestions, please
leave us a message.
