All categories
Mac

Jape 7.0

Free Graphical proof calculator that allows custom logic and proof views.
0 
Latest version:
7.0 See all
Developer:
Collect
Review Download All version

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.

Comments

Suggestions

Bean
Bean
Free

Bean is a text editor that can save and open in a useful set of formats.

Scrivener
Scrivener
Free

Structure your documents and control their formatting.

Skim by the Skim Team
Skim by the Skim Team
Free

Easily view, edit, or annotate miscellaneous PDF files.

Stationery Pack
Stationery Pack

Turn your favorite photos into greeting cards and personalize many templates with a click of the mouse.

TeX
TeX
Free

TeX is a system for computer typesetting, for placing text on a page.

Adobe Reader
Adobe Reader
Free

View, sign, annotate, and print PDF files on your Mac.

Download
Free  
Freeware
Old versions
Jape 7.0
Today's Highlight Marathon Pace Calculator
Marathon Pace Calculator is a utility for marathon runners.
Forismatic
Forismatic is a free and easy-to-use motivational application.

Recent downloads

iRemove Tools [iCloud Bypass

We don't have a description for the iRemove Tools [iCloud Bypass app yet.

WooTechy iDelock

Developed by com.clevguard

VK Play Machine

We don't have a description for the VK Play Machine app yet.

RipX

We don't have a description for the RipX app yet.

Taiko Pop Tap

We don't have a description for the Taiko Pop Tap app yet.

NuMuKi Browser

We don't have a description for the NuMuKi Browser app yet.

Recent downloads

Latest updates