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.
Mac, Unix, Windows.
Project Samples
Follow Jape
Other Useful Business Software
Paligo is an end-to-end Component Content Management System (CCMS) solution for technical documentation, policies and procedures, knowledge management, and more.
Rate This Project
Login To Rate This Project
User Reviews
-
Jape is an incredibly useful teaching and formatting tool. Highly recommended.