[TYPES/announce] New Twelf Wiki

Robert J. Simmons rjsimmon at cs.cmu.edu
Wed Mar 21 11:08:57 EDT 2007


We are pleased to announce the Twelf Wiki, a major new source of
documentation about Twelf:

    http://twelf.plparty.org

Twelf is a tool used to specify, implement, and prove properties of
deductive systems. The Twelf Wiki includes:

* A new introduction to LF and Twelf.
* Tutorials on common Twelf tricks and techniques.
* Case studies of larger applications of Twelf, including encodings of
  and proofs about linear logic, mutable state, and CPS conversion.
* Pre-compiled CVS builds of Twelf for Linux and Windows.

We invite you to come share what you know, learn from what's there,
and ask questions about what's not.

 - The Twelf Wiki Team



More information about the Types-announce mailing list