@hackage / haskhol-core

The core logical system of HaskHOL, an EDSL for HOL theorem proving.

Latest1.1.0

Changelog

This release does not have a Changelog