Jape [1] es un asistente de pruebas gráficas configurable, desarrollado originalmente por Richard Bornat en Queen Mary, Universidad de Londres y Bernard Sufrin en la Universidad de Oxford . Permite al usuario definir una lógica , decidir cómo ver las pruebas y mucho más. Funciona con variantes del cálculo secuencial y deducción natural .
Se afirma [2] que Jape es el programa más popular para "enseñanza de lógica asistida por computadora" que involucra ejercicios para desarrollar demostraciones en lógica matemática .
El programa está disponible para los sistemas operativos Mac , Unix y Windows . Está escrito en el lenguaje de programación Java y publicado bajo GNU GPL .