[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