the grape graphical proof editor to run in windows online over linux online

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

Quick description about the grape graphical proof editor to run in windows online over linux online:

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.

.