Skip to search formSkip to main contentSkip to account menu

Jape (software)

Known as: Jape 
Jape is a configurable, graphical proof assistant, originally developed by Richard Bornat at Queen Mary, University of London and Bernard Sufrin the… 
Wikipedia (opens in a new tab)

Related topics

Related topics

9 relations
Automated theorem provingFitch notationJavaMicrosoft Windows

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
Improving Haskell
Lazy evaluation is a key feature of Haskell, but can make it difficult to reason about the efficiency of programs. Improvement… 
2015
2015
Building annotation rules for text description of endoscopies in romanian - an NLP-free approach
This paper presents an approach for building annotation rules for texts containing natural language descriptions of the… 
2012
2012
Les frères Nagtsang, Nülo et Japé.
A Rma chu, les freres Nagtsang : l'auteur tibetain Nagtsang Nulo (a droite) et son frere aine Jape (a gauche). Le recit d'enfance… 
2010
2010
EXTRACTING ARABIC COLLOCATIONS BASED ON JAPE RULES
The massive amount of digital information available in all disciplines has generated a critical need to organize and structure… 
2008
2008
The Boom, the Left and Capitalism
Across the political spectrum it is widely accepted that the expansion of the Australian economy over the past 15 years has… 
2007
2007
Computer generation of puns in Japanese
We have implemented a simple model of puns in a program (BOKE) which generates puns in Japanese, using linguistic information… 
2007
2007
Forward reasoning in Jape
1 Introduction 
Review
1999
Review
1999
Using computers to learn logic : undergraduates ’ experiences
The program Jape [2] allows interactive, step-by-step construction of proofs for a variety of logics. It allows a teacher some… 
1997
1997
Jape: A Calculator for Animating Proof-on-Paper
If you suppose that it would be pointless to simulate proof-on-paper; if you imagine that all the problems of interactive theorem… 
1993
1993
Preliminary analysis of amplitude and phase fluctuations in the JAPE multiple tone data to distances of 500 meters
The JAPE short range data provide a good opportunity for studying phase and amplitude fluctuations of acoustic signals in the… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)