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.
You may want to check out more software for Mac, such as Armok Vision, which might be related to Jape.