Jape is a configurable graphical formal-proof calculator that enables users to define logics, view proofs, and more. It supports sequent calculus, natural deduction, functional programming, and operational semantics.
Easily view, edit, or annotate miscellaneous PDF files.
View, sign, annotate, and print PDF files on your Mac.
Structure your documents and control their formatting.
