- Mac
- Productivity
- Office Tools
- Jape
Jape
by Richard Bornat, Sufrin
Ooops
download link is gone
on 1 vote
License:
Open source
Total downloads:69
Latest version:7.0
Screenshots
Description
You could have downloaded Jape 7.0 for Mac from our software library for free. 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 or Armok Vision, which might be related to Jape.
useful
useful
useful
How to protect your Mac from malware
How to share files
How to type with 10 fingers
Latest update:
Comments
Subscribe to commentsPlease add a comment explaining the reasoning behind your vote.