Você pode baixar Jape 7.0 da nossa biblioteca de programas de graça. Nossa verificação feita pelo antivírus mostra que esse download está protegido. O software está dentro de Produtividade, na subcategoria Ferramentas de Escritório. O pacote de instalação mais atual disponível para download ocupa 2.1 MB no disco. Esse software tem como desenvolvedor Richard Bornat, Sufrin.
Do desenvolvedor:
Jape is a configurable graphical formal-proof calculator. It's possible to define a logic, decide how your users will view their proofs, and much more. It works with variants of the sequent calculus and natural deduction, as well as functional programming theories and theories of operational semantics.
Confira mais programas, tais como JonDo, Armok Vision ou Elements, que podem ser similares a Jape.