The GraPE Graphical Proof Editor download

A tool for proof theorists to study deduction systems and to develop proof search strategies for them. GraPE should eventually support step-by-step proof construction, automatic proof search with various strategies, proof transformations and analysis.

Project Samples

Version 0.9.4 of GraPE found a proof in system BV.

Project Activity

See All Activity >

License

GNU General Public License version 2.0 (GPLv2)

Follow The GraPE Graphical Proof Editor

The GraPE Graphical Proof Editor Web Site

Other Useful Business Software

Save Up to 91% on Cloud Compute With Spot VMs

Automatic sustained-use discounts. One free VM per month. No negotiation needed.

Run batch jobs at 60-91% off with Spot VMs. Long-running workloads get automatic discounts with sustained use.

Start Free

Rate This Project

User Reviews

Be the first to post a review of The GraPE Graphical Proof Editor!

Additional Project Details

Languages

English

Intended Audience

Advanced End Users, Education, Science/Research

User Interface

Java Swing

Programming Language

Java

Related Categories

Java Mathematics Software

Registered

2006-06-15

Similar Business Software

SAP S/4HANA Cloud Public Edition

SAP Cloud ERP is the premier ERP solution for growth-focused organizations. Seamlessly integrating AI, and predictive analytics, it empowers businesses to digitally transform and streamline processes end to end. Leveraging built-in industry best practices, SAP Cloud ERP accelerates...

See Software
Lockbox LIMS

A sample tracking, test result capture, and inventory management cloud LIMS for life science research, biotech/NGS, and industrial QC labs. Includes regulatory support for CLIA, HIPAA, Part 11, and ISO 17025. Nothing is more critical to a lab’s success than the quality, security, and...

See Software
QBench

QBench is a cloud-based Laboratory Information Management System (LIMS) designed to help laboratories manage samples, workflows, data, inventory, reporting, quality processes, and client interactions in one platform. Labs use QBench to manage laboratory operations from order placement and...

See Software
Qualio

Qualio is the leading quality and compliance platform built exclusively for emerging life sciences companies. MedTech, pharma, biotech, and diagnostics teams use Qualio to standardize quality processes, connect them to regulatory obligations, and gain real-time visibility into compliance...

See Software
RegDesk

RegDesk is a Regulatory Information Management System (RIMS) that helps medical device companies manage global regulatory submissions, product registrations, and compliance in one centralized platform. It streamlines regulatory workflows, organizes regulatory data, and provides global regulatory...

See Software
Calira

Calira is an equipment booking and management platform for shared R&D lab equipment. It replaces the shared spreadsheets, Outlook calendars, paper signup sheets, and other improvised systems that most labs use to manage access to shared instruments. Labs use Calira to track instrument...

See Software

Report inappropriate content