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
Information retrieval in falktales using natural language processing
Our aim is to extract information about literary characters in unstructured texts. We employ natural language processing and… 
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… 
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
Forward reasoning in Jape
1 Introduction 
2006
2006
The Naked Jape: Uncovering The Hidden World Of Jokes
Is Man the only animal that laughs? Why are clowns so scary? Do jokes make children more intelligent? Are men funnier than women… 
Highly Cited
2005
Highly Cited
2005
Automatic Certification of Heap Consumption
We present a program logic for verifying the heap consumption of low-level programs. The proof rules employ a uniform assertion… 
2003
2003
Software that assists learning within a complex abstract domain: the use of constraint and consequentiality as learning mechanisms
This paper describes a research project into undergraduates’ use of a software tool to learn symbolic logic—a complex abstract… 
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… 
1996
1996
Jape's quiet interface
Jape is a proof editor designed for use by novices and to be programmed by tyro logicians. Its user interface intrudes as little… 
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)