|CTI Textual Studies||
Guide to Digital Resources 1996-98
|Table of Contents|
Description: Jape is an interactive 'proof calculator': a tool designed to help with learning, teaching and use of formal reasoning. The tool operates as an interpreter; the user inputs a description of a particular logic as a system of inference rules, and Jape then displays proofs in that logic. The user is also able to control the development of proofs to some extent, by making choices for rules and/or 'tactics', and assemblages of rules, and dictating where they are to be applied.
Requirements: Apple Macintosh with at least 4MB of RAM and System 7.0 or better, or Sun Operating System with any Sparcstation, or Linux. PC version is being developed.
Further information: from the JAPE web site at http://www.comlab.ox.ac.uk/oucl/users/bernard.sufrin/jape.html.
Distributor: Macintosh version: Bernard Sufrin, Computing Laboratory, Wolfson Building, Parks Road, Oxford OX1 3QD, Tel. 01865 272838. Email: Bernard.Sufrin@comlab.ox.ac.uk. Other versions: Richard Bornat, Department of Computer Science, Queen Mary and Westfield College, University of London, West Bancroft Building, Mile End Road, Mile End, London E1 4NS. Tel. 0171 975 5206. Email: email@example.com
Price: JAPE is freely available via the Internet. Download details are on the JAPE web site at http://www.comlab.ox.ac.uk/oucl/users/bernard.sufrin/jape.html
Version available at CTI Centre: None.
[Resources Guide: A-Z Contents] [Resources Guide: Front Page] [CTI Textual Studies Home Page]
Guide to Digital Resources 1996-98. Not to be republished in any form
without the permission of CTI Textual Studies.
HTML Author: Sarah Porter
Document Created: 20 March 1997
The URL of this document is http://info.ox.ac.uk/ctitext/resguide/resources/j110.html