Jape (software)

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.