The STELF Project

This is the System for Totality in the Edinbrugh Logical Framework (STELF). The STELF project is a fork of the Twelf project ported to OCaml. In addition, it consists of a number of updates and extensions to the original Twelf.

The Logo and Name

The logo is a combination of the letters $\lambda$ and $\Pi$, for the $\lambda \Pi$ calculus, which refers to LF wrt the lambda cube

Some other potential names that were considered

1. FLEWT (Twelf backwards)
2. SELF (there’s already a Twelf project called SELF. John Doe kind of name)
3. TELF (Remove the W…)