Popularity
0.7
Declining
Activity
0.0
Stable
1
1
0
Monthly Downloads: 5
Programming language: Haskell
License: BSD 3-clause "New" or "Revised" License
Tags:
Logic
Theorem Provers
Latest version: v1.1.0
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
Main source code repository of the Tamarin prover for security protocol verification.
WorkOS - The modern identity platform for B2B SaaS
The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.
Promo
workos.com
Do you think we are missing an alternative of haskhol-core or a related project?
README
haskhol-core
The core logical system of the HaskHOL theorem prover. See haskhol.org for more details.