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
2004
Highly Cited
2004
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… 
1997
1997
If you suppose that it would be pointless to simulate proof-on-paper; if you imagine that all the problems of interactive theorem… 
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… 
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…