Monthly Downloads: 2
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.
what49.4 6.2 theoremquest VS what4Symbolic formula representation and solver interaction library
hermit9.0 0.0 theoremquest VS hermitHaskell Equational Reasoning Model-to-Implementation Tunnel
sbvPlugin8.2 5.3 theoremquest VS sbvPluginFormally prove properties of Haskell programs using SBV/SMT.
smtlib26.8 0.0 theoremquest VS smtlib2SMTLib2 interface implementation for Haskell
SmtLib6.0 0.0 theoremquest VS SmtLibParser for smt-lib Command responses
afv4.5 0.0 theoremquest VS afvC model checking.
tptp3.5 0.0 theoremquest VS tptpParser and pretty printer for the TPTP language
acl22.6 0.0 theoremquest VS acl2Writing and calling ACL2 from Haskell.
Access the most powerful time series database as a service
Ingest, store, & analyze all types of time series data in a fully-managed, purpose-built database. Keep data forever with low-cost storage and superior data compression.
Do you think we are missing an alternative of theoremquest or a related project?