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.
HLM Proof Assistant is a free software application from the Other subcategory, part of the Education category.
The app is currently available in English and it was last updated on 2011-02-08. The program can be installed on OS Independent (Written in an interpreted language).
HLM Proof Assistant (version ) is available for download from our website.
Just click the green Download button above to start. Until now the program was downloaded 8 times.
We already checked that the download link to be safe, however for your own protection we recommend that you scan the downloaded software with your antivirus.