Popularity
4.8
Declining
Activity
0.0
Stable
4
5
1
Monthly Downloads: 5
Programming language: Haskell
License: BSD 3-clause "New" or "Revised" License
theoremquest alternatives and similar packages
Based on the "Formal Methods" category.
Alternatively, view theoremquest alternatives based on common mentions on social networks and blogs.
-
sbvPlugin
Formally prove properties of Haskell programs using SBV/SMT.
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 theoremquest or a related project?