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

Other Useful Business Software

Our Free Plans just got better! | Auth0

With up to 25k MAUs and unlimited Okta connections, our Free Plan lets you focus on what you do best—building great apps.

You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.

Try free now

Rate This Project

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 native dwg/dxf cad software suitable for professional 2D drafting and 3D modeling projects. ActCAD is trusted by over 30000 users in over 103 countries for more than 10 years. The interface, commands, icons, dialogs, shortcuts etc. are very much similar to other popular cad software...

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
Evocon

Trusted by manufacturers worldwide, Evocon is a simple and easy-to-use OEE software that helps manufacturing companies improve their production efficiency and reduce waste. The system enables automated data collection, real-time data visualization, downtime tracking, bottleneck identification,...

See Software