hol theorem proving system

We have hosted the application hol theorem proving system in order to run this application in our online workstations with Wine or directly.

Quick description about hol theorem proving system:

HOL is a system for proving theorems in Higher Order Logic. It
comes with a large variety of existing theories formalising
various parts of mathematics and theoretical computer science.

Features:

• Easy programmability
• Sophisticated decision procedures
• Powerful reasoning tools

Audience: Advanced End Users, Other Audience, Science/Research.
User interface: Console/Terminal.
Programming Language: Standard ML.
Categories: