The HOL Theorem Proving System

2024-07-03

Science, Math, Logic and Foundations, Computational Logic - 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.

The system documented originated at the Laboratory for Applied Logic of Brigham Young University and features higher-order, classical, natural deduction with tactics.

The HOL Theorem Proving System