GitPlanet

Cheap and reliable Node.js hosting starts at $3/month, and $1/month static HTML hosting

Created with love in Canada, visit hostnodejs.com today

Feel like to post an Ad? Learn Details
All Projects → RBornat → jape

RBornat / jape

Licence: GPL-2.0 license
Jape, a configurable proof editor (best at natural deduction and sequent calculus)

Programming Languages

ocaml
1615 projects
java
68154 projects - #9 most used programming language
TeX
3793 projects
Objective-J
44 projects
HTML
75241 projects
shell
77523 projects

Jape

Jape is a configurable proof calculator and supports the interactive discovery of formal proofs in inference systems. It is distributed with a number of example logic encodings: in particular a natural deduction, several sequent calculi, a treatment of Burroughs-Abadi-Newman protocols, a Hindley-Milner typing mechanism, and various others including even Aristotlean syllogisms. A manual (Roll your own Jape logic) is available for those who would like to experiment with their own encodings.

Get releases via the release page, and please report problems via the issues page.

Richard Bornat 2022/01/03

Note that the project description data, including the texts, logos, images, and/or trademarks, for each open source project belongs to its rightful owner. If you wish to add or remove any projects, please contact us at [email protected].