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.

tamarin-prover

9.8 8.6 haskhol-core VS tamarin-prover

Main source code repository of the Tamarin prover for security protocol verification.
tip-haskell-frontend

7.5 7.5 haskhol-core VS tip-haskell-frontend

Convert from Haskell to Tip

SaaSHub helps you find the best software and product alternatives

Promo www.saashub.com

Do you think we are missing an alternative of haskhol-core or a related project?

README

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