The HOL Theorem Proving System

The HOL Theorem Proving System
All Links

Share this:

Details of The HOL Theorem Proving System

About The HOL Theorem Proving System
The HOL Theorem Proving System- The system documented originated at the Laboratory for Applied Logic of Brigham Young University and features higher-order, classical, natural deduction with tactics.
Books and Worksheets