Jape (software)
id:
jape-software-198-1759538
title:
Jape (software)
text:
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. The program is available for the Mac, Unix, and Windows operating systems. It is written in the Java programming language and released under the GNU GPL. It is claimed that Jape is the most popular program for "computer-assisted logic teaching" that involves exercises in developing proofs in mathematical logic.
brand slug:
wiki
category slug:
encyclopedia
description:
original url:
https://en.wikipedia.org/wiki/Jape_(software)
date created:
date modified:
2024-02-04T06:15:19Z
main entity:
{"identifier":"Q6159267","url":"https://www.wikidata.org/entity/Q6159267"}
image:
fields total:
13
integrity:
13