Hets - the Heterogeneous Tool Set

Copyright(c) Otto-von-Guericke University of Magdeburg
LicenseGPLv2 or higher, see LICENSE.txt
Safe HaskellSafe

HolLight

Description

The HolLight folder contains the skeleton of an instance of Logic.Logic for the logic of the HOL light theorem prover, see https://en.wikipedia.org/wiki/HOL_Light.