Popularity

4.0

Declining

Activity

0.0

Stable

Stars 4

Watchers 3

Forks 1

Last Commit about 12 years ago

Monthly Downloads: 2

Programming language: Haskell

License: BSD 3-clause "New" or "Revised" License

Tags: Math Theorem Provers Formal Methods Game Theoremquest

theoremquest alternatives and similar packages

Based on the "Formal Methods" category.
Alternatively, view theoremquest alternatives based on common mentions on social networks and blogs.

what4

9.4 6.2 theoremquest VS what4

Symbolic formula representation and solver interaction library
hermit

9.0 0.0 theoremquest VS hermit

Haskell Equational Reasoning Model-to-Implementation Tunnel

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.

Promo www.influxdata.com

sbvPlugin

8.2 5.3 theoremquest VS sbvPlugin

Formally prove properties of Haskell programs using SBV/SMT.
smtlib2

6.8 0.0 theoremquest VS smtlib2

SMTLib2 interface implementation for Haskell
SmtLib

6.0 0.0 theoremquest VS SmtLib

Parser for smt-lib Command responses
afv

4.5 0.0 theoremquest VS afv

C model checking.
tptp

3.5 0.0 theoremquest VS tptp

Parser and pretty printer for the TPTP language
acl2

2.6 0.0 theoremquest VS acl2

Writing and calling ACL2 from Haskell.