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 SystemThe 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.