The HOL Theorem Proving System

hol.sourceforge.net

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

Rate This Site

More in Logical Frameworks Report

QR Code

Download PNG

Embed Badge

<a href="https://e-sygoing.link/go/5285779" title="The HOL Theorem Proving System"><img src="https://e-sygoing.link/badge.php?lid=5285779" alt="Listed on e-sygoing.link" height="20"></a>

Place this code on your website to show you're listed here.

The HOL Theorem Proving System

Rate This Site

Submit Your Site

Related Links