1. Home
  2. Science
  3. Mathematics
  4. The HOL Theorem Proving System

Science · Mathematics

The HOL Theorem Proving System

Listed in the directory · updated 23 Jul 2022

Visit website

Find them on

Share

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.

Tags

Books and Worksheets

Where it sits

Science Mathematics

More in Mathematics

See all →