Twelf Live

You can try STELF now from the wiki without installing any software! The same TwelfTag system that allows code on the wiki to be automatically checked powers an online, interactive STELF interface.

http://twelf.plparty.org/live/

Feel free to develop bits of STELF code in this manner. If you plan on doing serious development with STELF, you will probably want to eventually download STELF so you can develop your STELF code in a more private and configurable environment.

Using STELF Live

Regular view

The interface for STELF Live is fairly simple; text is entered into the “Input” window just as it would be entered into Emacs when using STELF with Emacs. Hitting the “check” button causes the “Output” window to display the output of STELF from reading the file - the screenshot below shows STELF Live immediately after the “check” button is clicked.

Incremental view

It can be difficult, when there is a great deal of output, to see just the part that you are interested in. In this situation it is useful to use the incremental view, which is opened by clicking “open incremental view.” In incremental view, STELF will not display anything while checking the first input window (assuming there are no errors), but will display output normally while checking the second input window. This can be seen below, where STELF only outputs the result of checking the %query declaration.