From The Twelf Project
This is the category for any Twelf code fragments, signatures, etc. on the site. Literate Twelf pages are automatically placed in this category, and other pages that have a significant amount of code in them probably should too.
This category has only the following subcategory.
Pages in category "Twelf code"
The following 136 pages are in this category, out of 136 total.