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.
Release Date:
Topics:
License:
Operating System:
Translations:
Intended Audience:
User Interface:
Programming Language:
Registered:
Ratings and Reviews
Be the first to post a text review of The GraPE Graphical Proof Editor. Rate and review a project by clicking thumbs up or thumbs down in the right column.
Project Feed
-
Code committed
xiemaisi committed revision 83 to the The GraPE Graphical Proof Editor SVN repository, changing 1 files -
Tracker artifact added
mnwdns created the Exception when cancelling TeX export artifact -
Code committed
mnwdns committed revision 82 to the The GraPE Graphical Proof Editor SVN repository, changing 1 files -
Code committed
mnwdns committed revision 81 to the The GraPE Graphical Proof Editor SVN repository, changing 1 files -
Code committed
mnwdns committed revision 80 to the The GraPE Graphical Proof Editor SVN repository, changing 15 files -
Code committed
mnwdns committed revision 79 to the The GraPE Graphical Proof Editor SVN repository, changing 2 files -
Code committed
mnwdns committed revision 78 to the The GraPE Graphical Proof Editor SVN repository, changing 1 files -
Code committed
mnwdns committed revision 77 to the The GraPE Graphical Proof Editor SVN repository, changing 2 files -
Code committed
mnwdns committed revision 76 to the The GraPE Graphical Proof Editor SVN repository, changing 2 files -
Code committed
mnwdns committed revision 75 to the The GraPE Graphical Proof Editor SVN repository, changing 1 files
Rate and Review
Be the first person to add a text review.
Related Projects
-
-
StarMX
A framework to support dynamic adaptation behavior in Java EE enterprise systems and to develop self-managing applications. StarMX utilizes JMX features and can be integrated with different policy/rule engines to enable self-management capabilities.
-
Res Medicinae
Res Medicinae is the attempt to overcome high pricing in the realm of medical information systems and to provide users with a stable, platform independent, extensive system using latest technology and being open to many other medical systems.
The GraPE Graphical Proof Editor Actions
About SourceForge
Develop Software
Copyright © 2009 Geeknet, Inc. All rights reserved. Terms of Use
