[ The Types Forum (announcements only), 
     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

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


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

Reply via email to