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 · [LINK: http://jape.org.uk/] Jape Online official website · [LINK: http://sourceforge.net/projects/jape/] Jape Sourceforge portal Interactive theorem proving softwareFree_theorem_provers

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z # TAGS