5 Theorem Provers packages and projects
-
tamarin-prover
9.8 8.0 HaskellMain source code repository of the Tamarin prover for security protocol verification. -
haskhol-core
0.7 0.0 HaskellThe core logical system of the HaskHOL theorem prover. See haskhol.org for more details.
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