ProofProcess Files

A framework to capture and analyse interactive proof process

Brought to you by: andrius-velykis

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
plugins	2013-06-10		0
features	2013-06-10		0
artifacts.jar	2013-06-10	1.6 kB	0
content.jar	2013-06-10	20.3 kB	0
Totals: 4 Items		22.0 kB	0

ProofProcess plug-in updates

Update site for ProofProcess framework Eclipse plug-ins.

The current version has not been officially released yet, therefore only nightly builds are available at the moment. Use the following canonical URL for nightly builds as the update site:

http://www.ai4fm.org/proofprocess/updates/nightly/

This URL is updated whenever a new nightly build is published and will always point to the last nightly build of ProofProcess framework update site.

Source: README.md, updated 2013-05-08

Other Useful Business Software

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

Photo and Video Editing APIs and SDKs

Trusted by 150 million+ creators and businesses globally

Unlock Picsart's full editing suite by embedding our Editor SDK directly into your platform. Offer your users the power of a full design suite without leaving your site.

Learn More

Recommended Projects

Isabelle/Eclipse
Eclipse plug-ins that provide Prover IDE for Isabelle proof assistant, based on Isabelle/Scala framework. Isabelle/Eclipse started as a port of Isabelle/jEdit Prover IDE to integrate with Eclipse IDE as plug-ins. The integration uses common Eclipse components to provide theory editing,...
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.
Lean Copilot
LeanCopilot integrates large language models (LLMs) as copilots for theorem proving in the Lean proof assistant. It assists users by suggesting tactics, premises, and searching for proofs, thereby enhancing the efficiency of formal verification processes. LeanCopilot supports both built-in...
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.
alphageometry
AlphaGeometry, developed by Google DeepMind, is a theorem-proving system that combines symbolic reasoning with deep learning to solve challenging geometry problems, such as those found in mathematical Olympiads. The repository provides the full implementation of DDAR (Deductive Difference and...

ProofProcess Files

A framework to capture and analyse interactive proof process

Get an email when there's a new version of ProofProcess

ProofProcess plug-in updates