Jape [jeyp]  

Jape

  [jeyp]
Jape is a configurable, graphical proof assistant. It allows user to define a logic, decide how to view proofs, and much more. It works with variants of the sequent calculus and natural deduction.

It is available for the Mac, Unix, and Windows operating systems.

External links

Wikipedia, the free encyclopedia © 2001-2006 Wikipedia contributors (Disclaimer)
This article is licensed under the GNU Free Documentation License.
Last updated on Wednesday September 24, 2008 at 08:49:09 PDT (GMT -0700)
View this article at Wikipedia.org - Edit this article at Wikipedia.org - Donate to the Wikimedia Foundation

Related Articles
Theatre: Stuck in the middle with you JAPES HAYMARKET THEATRE LONDON
Feb 14, 2001; DEPENDENCY OF various kinds - on the past, on writing, on a brother, on drink - is at the heart of Japes, Simon Gray's powerful...
Read more with a free trial on HighBeam.com »
Japes.(Theater Review)
Jun 02, 2005; Japes (Bay Street Theater, Sag Harbor.; 299 seats; $54 top) A Bay Street Theater presentation of a play in two acts by Simon...
Read more with a free trial on HighBeam.com »
Jape ready to get Nerve Centre crowd moving
Oct 08, 2008; JAPE, the current darling of the music world and one of the highlights of this year's Electric Picnic festival, brings his band...
Read more with a free trial on HighBeam.com »
Jape wins award for second time
Mar 09, 2012; JAPE HAS become the first artist to win two Choice Music Prizes for best album. The singer-songwriter, whose real name is Richie...
Read more with a free trial on HighBeam.com »
JaPE nO JOKE.(Features)
Sep 30, 2011; of SINCE winning the Choice Music Prize JOKE in 2009 for the critically acclaimed Ritual, Jape has toured extensively and has...
Read more with a free trial on HighBeam.com »
HighBeam Research, Inc. © Copyright 2009.

Search another word or see japeon Dictionary | Thesaurus |Spanish
  • Please Login or Sign Up to use the Recent Searches feature
FAVORITES
RECENT