haskhol-core alternatives and similar packages
Based on the "Theorem Provers" category.
Alternatively, view haskhol-core alternatives based on common mentions on social networks and blogs.
9.8 8.2 haskhol-core VS tamarin-proverMain source code repository of the Tamarin prover for security protocol verification.
Do you think we are missing an alternative of haskhol-core or a related project?
The core logical system of the HaskHOL theorem prover. See haskhol.org for more details.