ecaustin / haskhol-coreLinks

The core logical system of the HaskHOL theorem prover. See haskhol.org for more details.
2Updated 8 years ago

Alternatives and similar repositories for haskhol-core

Users that are interested in haskhol-core are comparing it to the libraries listed below

Sorting: