Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

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… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2010
2010
The massive amount of digital information available in all disciplines has generated a critical need to organize and structure… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2007
2007
Is Man the only animal that laughs? Why are clowns so scary? Do jokes make children more intelligent? Are men funnier than women… Expand
Is this relevant?
2007
2007
The invention concerns 2-oxo-1-pyrrolidine derivatives and a process for preparing them and their uses. The invention also… Expand
  • figure 2
  • figure 3
  • figure 4
  • table 2
  • figure 5
Is this relevant?
2004
2004
We present a program logic for verifying the heap consumption of low-level programs. The proof rules employ a uniform assertion… Expand
Is this relevant?
2003
2003
Although the JAPE riddle generator has attracted significant attention and there are published accounts of its performance, there… Expand
  • figure 1
Is this relevant?
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… Expand
  • figure 4
  • figure 10
Is this relevant?
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… Expand
Is this relevant?
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… Expand
Is this relevant?
Review
1993
Review
1993
 
Is this relevant?
1960
1960
"WELL said, by *corpus Domini,"* quoth our Host; *the Lord's body* "Now longe may'st thou saile by the coast, Thou gentle Master… Expand
Is this relevant?