Jape Files

Highly configurable proof / disproof editor and calculator

Brought to you by: bernardsufrin, rbornat, sufrin

The interactive file manager requires Javascript. Please enable it or use sftp or scp.
You may still browse the files here.

Name	Modified	Size	InfoDownloads / Week
Proof Displays	2014-04-06		1
Totals: 1 Item			1

Other Useful Business Software

Level Up Your Cyber Defense with External Threat Management

See every risk before it hits. From exposed data to dark web chatter. All in one unified view.

Move beyond alerts. Gain full visibility, context, and control over your external attack surface to stay ahead of every threat.

Try for Free

Build Securely on AWS with Proven Frameworks

Lay a foundation for success with Tested Reference Architectures developed by Fortinet’s experts. Learn more in this white paper.

Moving to the cloud brings new challenges. How can you manage a larger attack surface while ensuring great network performance? Turn to Fortinet’s Tested Reference Architectures, blueprints for designing and securing cloud environments built by cybersecurity experts. Learn more and explore use cases in this white paper.

Download Now

Recommended Projects

Lurch
Software for teaching and learning mathematical proofs Where most mathematical proof software concentrates on formal logic (or some other specialty area of mathematics), Lurch aims to be truly general-purpose, with an attracitve user interface.
Dominoes on Acid
Superficially, Dominoes on Acid is a solitaire variant of Dominoes with weird colorful tiles. But on a deeper level it is a GUI for natural deduction. Every completed domino is equivalent to a proof of a tautology in classical propositional logic.
$DeepSeek Math$

DeepSeek Math
DeepSeek-Math is DeepSeek’s specialized model (or dataset + evaluation) focusing on mathematical reasoning, symbolic manipulation, proof steps, and advanced quantitative problem solving. The repository is likely to include fine-tuning routines or task datasets (e.g. MATH, GSM8K, ARB),...
Archive of Formal Proofs
The Archive of Formal Proofs is a collection of proof libraries, examples, and larger scientifc developments, mechanically checked in the theorem prover Isabelle. It is organized in the way of a scientific journal. Submissions are refereed.
RODIN
Open tool platform for the cost effective rigorous development of dependable complex software systems services. This platform is based on the event-B formal method and provides natural support for refinement and mathematical proof.