the grape graphical proof editor online with Winfy

We have hosted the application the grape graphical proof editor in order to run this application in our online workstations with Wine or directly.

Quick description about the grape graphical proof editor:

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.

Audience: Advanced End Users, Education, Science/Research.
User interface: Java Swing.
Programming Language: Java.
Categories: