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:
Mathematics

Page navigation:

©2024. Winfy. All Rights Reserved.

By OD Group OU – Registry code: 1609791 -VAT number: EE102345621.