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
You Might Also Like
Reduce your overall freight spend with a global, modular, cloud-based transportation management solution (TMS). Enable collaboration across the end-to-end process of transporting goods by connecting shippers with their carriers, suppliers and customers.
Rate This Project
Login To Rate This Project
User Reviews
-
Jape is an incredibly useful teaching and formatting tool. Highly recommended.