Definitions for Japedʒeɪp
This page provides all possible meanings and translations of the word 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
Origin: [Prob. from the same source as gab, influenced by F. japper to yelp. See Gab to deceive.]
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.
Translations for Jape
From our Multilingual Translation Dictionary
Get even more translations for Jape »
Find a translation for the Jape definition in other languages:
Select another language: