Menu
Home
People
Places
Arts
History
Plants & Animals
Science
Life & Culture
Technology
Reference.org
Jape (software)
open-in-new
<p>Jape is a configurable, graphical <a href="/facts/Proof_assistant/hjFGxLPn">proof assistant</a>, originally developed by <a href="/facts/Richard_Bornat/4JGHxWxt">Richard Bornat</a> at <a href="/facts/Queen_Mary,_University_of_London/j7FHapKf">Queen Mary, University of London</a> and <a href="/facts/Bernard_Sufrin/v4kTHmMh">Bernard Sufrin</a> the <a href="/facts/University_of_Oxford/ExVVQL6V">University of Oxford</a>. The program is available for the <a href="/facts/Macintosh/8GhnXTK0">Mac</a>, <a href="/facts/Unix/0pNL2seI">Unix</a>, and <a href="/facts/Microsoft_Windows/bwhAhuSL">Windows</a> operating systems. It is written in the <a href="/facts/Java_/9ScgFyAL">Java</a> programming language and released under the <a href="/facts/GNU_GPL/S75KhLSX">GNU GPL</a>. </p><p>It is claimed that Jape is the most popular program for "computer-assisted logic teaching" that involves exercises in developing proofs in <a href="/facts/Mathematical_logic/SaI7Y3wN">mathematical logic</a>. </p>