It is written in the Java programming language and released under the GNU GPL.
[3] Jape was created in 1992 by Richard Bornat and Bernard Sufrin with the intent to get a better understanding of the formal reasoning.
[4] Jape supports human-directed discovery of proofs in a logic which is defined by the user as a system of inference rules.
It maps the user's gestures (e.g. typing, mouse-clicks or mouse-drags) to the assistant's proof actions.
[6] Jape works with variants of the sequent calculus and natural deduction.