The core logical system of the HaskHOL theorem prover.  See haskhol.org for more details.