haskhol-core

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

Name		Name	Last commit message	Last commit date
Latest commit History 50 Commits
data		data
src/HaskHOL		src/HaskHOL
HaskHOL-Core.cabal		HaskHOL-Core.cabal
LICENSE		LICENSE
README.md		README.md
Setup.hs		Setup.hs

Provide feedback