Jape

Jape

[jeyp]
Jape is a configurable, graphical proof assistant. 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 available for the Mac, Unix, and Windows operating systems.

External links

Search another word or see japeon Dictionary | Thesaurus |Spanish
Copyright © 2014 Dictionary.com, LLC. All rights reserved.
  • Please Login or Sign Up to use the Recent Searches feature