HLM Proof Assistant download

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.

Project Samples

Project Activity

See All Activity >

License

GNU Library or Lesser General Public License version 2.0 (LGPLv2)

Follow HLM Proof Assistant

HLM Proof Assistant Web Site

User Reviews

Be the first to post a review of HLM Proof Assistant!

Additional Project Details

Languages

English

Intended Audience

Science/Research, Education

User Interface

Java SWT

Programming Language

Java

Related Categories

Java Mathematics Software

Registered

2009-02-06

Similar Business Software

ActCAD Software

ACTCAD is a 2D & 3D CAD software with functionality of the industry leaders. We offer two product options: - ACTCAD Standard for 2D Drafting Power Users - ACTCAD Premium for 2D Drafting, 3D Modeling and BIM (Building Information Modeling) functionality ACTCAD can be used for applications...

See Software
Altium Designer

Altium Designer® offers a unified design environment backed by over 35 years of innovation and development. From schematic to PCB layout and interactive differential pair routing, to design documentation and a seamless ECAD/MCAD integration, Altium Designer empowers engineers with a single view...

See Software
The Asset Guardian EAM (TAG)

The Asset Guardian (TAG) has a proven 15-year track record for maintaining, managing and optimizing enterprise assets with thousands of users worldwide. TAG offers CMMS, EAM, APM, and Maintenance-as-a-Service applications that can scale with your organization’s needs and technological...

See Software

Report inappropriate content