The core logical system of the HaskHOL theorem prover. See haskhol.org for more details.
Here you can share your experience with the project you are suggesting or its comparison with haskhol-core. Optional.
A valid email to send you a verification link when necessary or log in.