HOL theorem-proving system
Description
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.
User Ratings
User Reviews
Be the first to post a review of HOL theorem-proving system!