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)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
Our aim is to extract information about literary characters in unstructured texts. We employ natural language processing and… 
2006
2006
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
We present a program logic for verifying the heap consumption of low-level programs. The proof rules employ a uniform assertion… 
2003
2003
This paper describes a research project into undergraduates’ use of a software tool to learn symbolic logic—a complex abstract… 
1999
1999
Jape is a program which supports the step-by-step interactive development of proofs in formal logics, in the style of proofs-on… 
Highly Cited
1997
Highly Cited
1997
We have developed a formal model of certain types of riddles, and implemented it in a computer program, JAPE, which generates… 
Highly Cited
1996
Highly Cited
1996
This thesis describes a formal model of a subtype of humour, and the implementation of that model in a program that generates… 
1996
1996
Jape is a proof editor designed for use by novices and to be programmed by tyro logicians. Its user interface intrudes as little… 
Highly Cited
1994
Highly Cited
1994
In this paper, we discuss a model of simple question-answer punning, implemented in a program, JAPE-1, which generates riddles…