Jape (software)

Jape[1] is a configurable, graphical proof assistant, originally developed by Richard Bornat at Queen Mary, University of London and Bernard Sufrin the University of Oxford. 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 claimed[2] that Jape is the most popular program for "computer-assisted logic teaching" that involves exercises in developing proofs in mathematical logic.

The program is available for the Mac, Unix, and Windows operating systems. It is written in the Java programming language and released under the GNU GPL.

References

Richard Bornat, "Proof and Disproof in Formal Logic: An Introduction for Programmers."
C. Kaliszyk, F. Wiedijk, M. Hendriks and F. van Raamsdonk, "Teaching logic using a state-of-the-art proof assistant." In: H. Geuvers and P. Courtieu (eds.), PATE'07, International Workshop on Proof Assistants and Types in Education, 37–50, 2007.

External links

Jape Online official distribution website
Jape Sourceforge portal

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.

[1] Richard Bornat, "Proof and Disproof in Formal Logic: An Introduction for Programmers."

[2] C. Kaliszyk, F. Wiedijk, M. Hendriks and F. van Raamsdonk, "Teaching logic using a state-of-the-art proof assistant." In: H. Geuvers and P. Courtieu (eds.), PATE'07, International Workshop on Proof Assistants and Types in Education, 37–50, 2007.