Jape
From Wikipedia, the free encyclopedia
For other uses, see Jape (disambiguation).
Jape is a configurable graphical, formal-proof calculator. 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
 |
This computer-related article is a stub. You can help Wikipedia by expanding it. |
