Skip to content
STELF
Documentation out of dateLearn more

Additional Resources

Basics

Section titled “Basics”

STELF proper

Documentation

A link seems rather unnecassary, if you need to provide one just copy the link off the top of your page

Twelf

Section titled “Twelf”

Twelf

Twelf is a great resource, and the wiki is what is in large part (haphazardly) cloned here

Twelf User's Guide

The Twelf User’s Guide (for Twelf version 1.4) is still the most authoritative reference for Twelf’s syntax, even though it predates some later Twelf 1.7 features. Available as HTML, Postscript, Gzipped Postscript, or PDF.

Editor Plugins

Section titled “Editor Plugins”

Neovim

Scripts

Section titled “Scripts”

Twelf to STELF

Developing STELF

Section titled “Developing STELF”

Sources

Section titled “Sources”

There are a number of sources pertaining to STELF, Twelf, and λΠ and more general λ* calculi. Among these resources are the following suggested additional readings: