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
Parent folder
notandprovesornot-cutless-nothm-complete-box.pdf	2014-04-06	91.9 kB	0
notandprovesornot-cutless-nothm-complete.pdf	2014-04-06	135.2 kB	1
notandprovesornot-cutless-box.pdf	2014-04-06	73.3 kB	0
notandprovesornot-cutless.pdf	2014-04-06	95.2 kB	0
mapcatcomplete.pdf	2012-05-05	17.0 kB	0
mapcat-transitive.pdf	2012-05-05	18.4 kB	0
mapcat.png	2012-05-05	163.8 kB	0
listinductionrule.pdf	2012-05-05	20.9 kB	0
catinductionthm.pdf	2012-05-05	21.5 kB	0
swapDOTswapEQid.pdf	2012-05-05	52.9 kB	0
Totals: 10 Items		690.0 kB	1

Other Useful Business Software

Build Securely on Azure 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

MongoDB Atlas runs apps anywhere

Deploy in 115+ regions with the modern database for every enterprise.

MongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.

Start Free

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.