STELF website

Twelf, but now

... in OCaml!

STELF is a reimplementation of Twelf in OCaml, which increases ease of use.

... in Color!

STELF uses lambda term (the backend of utop) to provide a colorful and interactive command line interface.

... modular!

STELF introduces scopes, macros, and a cleaner package system.

... less restrictive!

STELF removes reserved names like -> and type allowing the user to use intuitive names.