Web Directory

    Top: Science: Math: Logic_and_Foundations: Computational_Logic: Logical_Frameworks:

 

The HOL Theorem Proving System

  Link Details for: The HOL Theorem Proving System
Link Title: The HOL Theorem Proving System Open in a new window
Link URL: http://hol.sourceforge.net/
Link Details: The system documented originated at the Laboratory for Applied Logic of Brigham Young University and features higher-order, classical, natural deduction with tactics.
Category: Top : Science : Math : Logic_and_Foundations : Computational_Logic : Logical_Frameworks
Link Type: Lock this listing - So it can't be removedLock this listing - and upgrade it to FeaturedReport this listingAdd a regular link to the same category
ScreenShot:
The HOL Theorem Proving System