Definitions for Japedʒeɪp
This page provides all possible meanings and translations of the word Jape
Random House Webster's College Dictionary
japedʒeɪp(v.; n.)japed, jap•ing
(v.i.)to jest; joke; gibe.
(v.t.)to mock or make fun of.
(n.)a joke; jest.
a trick or practical joke.
Origin of jape:
joke, gag, laugh, jest, jape(noun)
a humorous anecdote or remark intended to provoke laughter
"he told a very funny joke"; "he knows a million gags"; "thanks for the laugh"; "he laughed unpleasantly at his own jest"; "even a schoolboy's jape is supposed to have some ascertainable point"
To jest; play tricks; joke; jeer.
To mock; deride; gibe; trick; befool.
Origin: From japen, of uncertain origin. Perhaps from japer (possibly conflated with gaber, see gab), related to japar, jaupar, probably of origin, related to galpon ( galpen), gelpfen, gjálpa (Swedish dialectal galpa). More at yelp, yawp, yap.
to jest; to play tricks; to jeer
to mock; to trick
Jape is a configurable, graphical proof assistant, originally developed at the University of Oxford. It allows user to define a logic, decide how to view proofs, and much more. It works with variants of the sequent calculus and natural deduction. It is claimed that Jape is the most popular program for "computer-assisted logic teaching" that involves exercises in developing proofs in mathematical logic. The program is available for the Mac, Unix, and Windows operating systems. It is written in the Java programming language and released under the GNU GPL.
Find a translation for the Jape definition in other languages:
Select another language: