You can download Jape 7.0 for Mac from our software library for free. The current installation package available for download requires 2.1 MB of hard disk space. Our built-in antivirus scanned this Mac download and rated it as 100% safe. The application relates to Productivity Tools. The actual developer of this free Mac application is Richard Bornat, Sufrin.
From the developer:
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.
You may want to check out more software for Mac, such as JonDo, which might be related to Jape.