hlm proof assistant to run in linux online online with Winfy

We have hosted the application hlm proof assistant to run in linux online in order to run this application in our online workstations with Wine or directly.

Quick description about hlm proof assistant to run in linux online:

HLM is a proof assistant for everyday mathematics, which is currently being developed. It aims for a user experience as close as possible to regular mathematical practice, and proofs which are understandable by humans with little extra effort.

Audience: Education, Science/Research.
User interface: Java SWT.
Programming Language: Java.

.