lurch to run in windows online over linux online

We have hosted the application lurch 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 lurch to run in windows online over linux online:

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.

Audience: Education, Science/Research.
User interface: Qt.
Programming Language: C++, JavaScript.

.