Jape
From Wikipedia, the free encyclopedia
For other uses, see Jape (disambiguation).
This article may not meet the general notability guideline or one of the following specific guidelines for inclusion on Wikipedia: Biographies, Books, Companies, Fiction, Music, Neologisms, Numbers, Web content, or several proposals for new guidelines. If you are familiar with the subject matter, please expand or rewrite the article to establish its notability. The best way to address this concern is to reference published, third-party sources about the subject. If notability cannot be established, the article is more likely to be considered for redirection, merge or ultimately deletion, per Wikipedia:Guide to deletion. This article has been tagged since December 2007. |
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.
[edit] External links
- Jape Online official website
- Jape Sourceforge portal