hlm proof assistant

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

Quick description about hlm proof assistant:

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.
Categories: