haskhol-core
The core logical system of the HaskHOL theorem prover. See haskhol.org for more details.
-
- GitHub
- GitLab
- Bitbucket
-
By logging in you accept
our terms of service
and privacy policy
The core logical system of the HaskHOL theorem prover. See haskhol.org for more details.
Homepage Repository Hackage Haskell Download
cabal install haskhol-core-1.1.0
The core logical system of the HaskHOL theorem prover. See haskhol.org for more details.
The Tidelift Subscription provides access to a continuously curated stream of human-researched and maintainer-verified data on open source packages and their licenses, releases, vulnerabilities, and development practices.
Learn more →
Something wrong with this page? Make a suggestion
Export .ABOUT file for this package
Last synced: 2023-12-02 18:04:18 UTC
Login to resync this project