Jape  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.
- 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.
|This computing article is a stub. You can help Wikipedia by expanding it.|