Jape

From Wikipedia, the free encyclopedia

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.

[edit] External links