Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
hackage.haskell.org "theorem-provers" keyword
Top 4.0% on hackage.haskell.org
115 versions - Latest release: over 12 years ago - 8 dependent packages - 162 dependent repositories - 75.9 thousand downloads total - 233 stars on GitHub - 1 maintainer
sbv 0.9.24
Express properties about Haskell programs and automatically prove them using SMT (Satisfiability ...115 versions - Latest release: over 12 years ago - 8 dependent packages - 162 dependent repositories - 75.9 thousand downloads total - 233 stars on GitHub - 1 maintainer
atp-haskell 1.14.3
Haskell version of the code from "Handbook of Practical Logic and Automated Reasoning"9 versions - Latest release: about 1 month ago - 3 dependent repositories - 4.18 thousand downloads total - 16 stars on GitHub - 1 maintainer
tableaux 0.3
This is a simple web-based interactive theorem prover using semantic tableaux for propositional a...3 versions - Latest release: 10 months ago - 1.99 thousand downloads total - 1 maintainer
twee 2.4.2
Twee is an experimental equational theorem prover based on Knuth-Bendix completion. Given a set ...14 versions - Latest release: over 1 year ago - 5.18 thousand downloads total - 43 stars on GitHub - 1 maintainer
twee-lib 2.4.2
An equational theorem prover based on Knuth-Bendix completion12 versions - Latest release: over 1 year ago - 1 dependent package - 2 dependent repositories - 5.05 thousand downloads total - 43 stars on GitHub - 1 maintainer
tamarin-prover 0.8.6.3
17 versions - Latest release: over 8 years ago - 11.4 thousand downloads total - 2 maintainerslogic-classes 1.7.1
Framework for propositional and first order logic, theorem proving20 versions - Latest release: over 7 years ago - 1 dependent package - 13.2 thousand downloads total - 7 stars on GitHub - 1 maintainer
z3 4.3.1
Bindings for the Z3 4.x Theorem Prover (https://github.com/Z3Prover/z3). Z3.Base.C provides the ...15 versions - Latest release: almost 6 years ago - 16 dependent repositories - 10.7 thousand downloads total - 57 stars on GitHub - 1 maintainer
logic-TPTP 0.2.0
19 versions - Latest release: about 15 years ago - 3 dependent repositories - 14.5 thousand downloads total - 3 maintainershz3 96.0.0.0 💰
Fork of z3 with future-proof version-numbering scheme Bindings for the Z3 4.x Theorem Prover (ht...1 version - Latest release: over 4 years ago - 588 downloads total - 0 stars on GitHub
ivor 0.1.14
9 versions - Latest release: about 13 years ago - 1 dependent repositories - 8.42 thousand downloads total - 2 maintainersFolly 0.2.0.1
First order logic in Haskell15 versions - Latest release: over 8 years ago - 10.9 thousand downloads total - 9 stars on GitHub - 1 maintainer
dedukti 1.1.4
9 versions - Latest release: about 13 years ago - 7.18 thousand downloads total - 1 maintainertamarin-prover-utils 0.8.5.1
11 versions - Latest release: about 10 years ago - 9 dependent repositories - 7.61 thousand downloads total - 2 maintainerstamarin-prover-term 0.8.5.1
10 versions - Latest release: about 10 years ago - 9 dependent repositories - 7.05 thousand downloads total - 2 maintainershylolib 1.5.4
10 versions - Latest release: about 5 years ago - 1 dependent repositories - 6.79 thousand downloads total - 1 maintainertoysolver 0.8.1
Toy-level solver implementation of various problems including SAT, SMT, Max-SAT, PBSPBO (Pseudo B...15 versions - Latest release: over 1 year ago - 2 dependent repositories - 15.1 thousand downloads total - 149 stars on GitHub - 1 maintainer
HTab 1.7.3
9 versions - Latest release: almost 4 years ago - 6.93 thousand downloads total - 1 maintainersbvPlugin 9.8.2
GHC plugin for proving properties over Haskell functions using SMT solvers, based on the SBV pack...18 versions - Latest release: about 2 months ago - 1 dependent repositories - 6.16 thousand downloads total - 44 stars on GitHub - 1 maintainer
atp 0.1.0.0
Haskell interface to automated theorem provers1 version - Latest release: over 3 years ago - 1 dependent repositories - 176 downloads total - 6 stars on GitHub - 1 maintainer
tptp 0.1.3.0
Parser and pretty printer for the TPTP language7 versions - Latest release: over 3 years ago - 1 dependent repositories - 2.27 thousand downloads total - 6 stars on GitHub - 1 maintainer
qed 0.0
A prototype proof system.1 version - Latest release: over 8 years ago - 857 downloads total - 3 stars on GitHub - 1 maintainer
LPPaver 0.0.5.0
Please see the README on GitHub at https://github.com/rasheedja/LPPaver#readme2 versions - Latest release: about 1 year ago - 1 dependent package - 1 dependent repositories - 92 downloads total - 5 stars on GitHub - 1 maintainer
grisette 0.5.0.1
Grisette is a reusable symbolic evaluation library for Haskell. By translating programs into cons...9 versions - Latest release: 19 days ago - 1 dependent package - 2 dependent repositories - 274 downloads total - 44 stars on GitHub - 1 maintainer
what4 1.5.1
What4 is a generic library for representing values as symbolic formulae which may contain referen...8 versions - Latest release: 7 months ago - 3 dependent packages - 18 dependent repositories - 3.77 thousand downloads total - 146 stars on GitHub - 3 maintainers
structural-induction 0.1.2
SII: Structural Induction Instantiator over any strictly-positive algebraic data type.6 versions - Latest release: over 9 years ago - 3 dependent repositories - 4.44 thousand downloads total - 4 stars on GitHub - 1 maintainer
smtlib2 0.3.1
5 versions - Latest release: almost 8 years ago - 1 dependent package - 4 dependent repositories - 4.3 thousand downloads total - 1 maintainerhyloutils 1.0
1 version - Latest release: almost 12 years ago - 1 thousand downloads total - 1 maintainerhaskhol-core 1.1.0
2 versions - Latest release: about 9 years ago - 2 dependent repositories - 1.75 thousand downloads total - 1 maintainerscyther-proof 0.4.0
scyther-proof is a security protocol verification tool based on an algorithm similar to the Scyth...9 versions - Latest release: almost 12 years ago - 6.46 thousand downloads total - 2 maintainers
yices-easy 0.1
1 version - Latest release: over 13 years ago - 1.18 thousand downloads total - 1 maintainertheoremquest 0.0.0
1 version - Latest release: about 13 years ago - 1 dependent repositories - 1.15 thousand downloads total - 1 maintainerhylotab 1.2.1
2 versions - Latest release: almost 12 years ago - 1.71 thousand downloads total - 1 maintainertip-haskell-frontend 0.1.1
3 versions - Latest release: almost 9 years ago - 1 dependent repositories - 1.9 thousand downloads total - 1 maintainertip-lib 0.2.2
6 versions - Latest release: over 8 years ago - 3 dependent repositories - 3.8 thousand downloads total - 1 maintaineryices-painless 0.1.2
3 versions - Latest release: over 13 years ago - 2.45 thousand downloads total - 1 maintainersmtlib2-pipe 1.0
1 version - Latest release: over 7 years ago - 1 dependent repositories - 1.02 thousand downloads total - 1 maintainertheoremquest-client 0.0.0
1 version - Latest release: about 13 years ago - 1.11 thousand downloads total - 1 maintainerhgen 1.4.0
2 versions - Latest release: almost 12 years ago - 1.62 thousand downloads total - 1 maintainersmtlib2-quickcheck 1.0
1 version - Latest release: over 7 years ago - 953 downloads total - 1 maintainermprover 0.0.0.0
MProver is a proof checker for equational reasoning in a Haskell-like language. This is an extrem...1 version - Latest release: over 12 years ago - 980 downloads total - 1 maintainer
htaut 0.1.1.0
Haskell integrated Tautology prover2 versions - Latest release: over 7 years ago - 1.38 thousand downloads total - 2 stars on GitHub - 1 maintainer
boolector 0.0.0.13
Haskell bindings for the Boolector SMT solver13 versions - Latest release: over 3 years ago - 2 dependent repositories - 5.85 thousand downloads total - 4 stars on GitHub - 1 maintainer
smtlib2-debug 1.0
1 version - Latest release: over 7 years ago - 1 dependent repositories - 967 downloads total - 1 maintainertamarin-prover-theory 0.8.6.0
5 versions - Latest release: about 10 years ago - 8 dependent repositories - 3.64 thousand downloads total - 2 maintainerssmtlib2-timing 1.0
1 version - Latest release: over 7 years ago - 970 downloads total - 1 maintainerpesca 4.0.1
Pesca is a program that helps in the construction of proofs in sequent calculus. It works both as...2 versions - Latest release: almost 16 years ago - 2.17 thousand downloads total - 3 maintainers
bindings-yices 0.3.0.2
5 versions - Latest release: over 8 years ago - 1 dependent repositories - 3.92 thousand downloads total - 1 maintainerzeno 0.2.0.1
2 versions - Latest release: about 13 years ago - 1.81 thousand downloads total - 1 maintainerzsyntax 0.2.0.0
An automated theorem prover for Zsyntax, a logical calculus for molecular biology inspired by lin...1 version - Latest release: over 5 years ago - 1 dependent repositories - 504 downloads total - 11 stars on GitHub - 1 maintainer
grisette-monad-coroutine 0.2.0.0
Orphan instances and wrappers for monad-coroutine package with Grisette.2 versions - Latest release: 4 months ago - 1 dependent repositories - 79 downloads total - 1 stars on GitHub - 1 maintainer
PropaFP 0.1.2.0
Please see the README on GitHub at https://github.com/rasheedja/PropaFP#readme3 versions - Latest release: about 1 year ago - 2 dependent packages - 2 dependent repositories - 141 downloads total - 6 stars on GitHub - 1 maintainer
Related Keywords
library
40
bsd3
27
formal-methods
21
program
20
smt
14
math
11
symbolic-computation
10
haskell
8
gpl
7
logic
7
deprecated
6
theorem-proving
4
verification
4
bit-vectors
4
theorem-prover
3
mathematics
2
maths
2
mpl
2
compilers-interpreters
2
algorithms
2
automated-theorem-provers
2
game
2
mit
2
tptp
2
lgpl
1
synthesis
1
symbolic-execution
1
symbolic-evaluation
1
automatic-theorem-proving
1
api
1
security
1
ffi
1
foreign
1
public-domain
1
bioinformatics
1
automated-deduction
1
linear-logic
1
molecular-biology
1
floating-point
1
floating-point-arithmetic
1
formal-verification
1
z3
1
codec
1
dependent-types
1
constraints
1
optimisation
1
optimization
1
mathematical-programming
1
sat-solver
1
smt-solver
1
sbv
1
atp
1
first-order-logic
1
prover
1
language
1
parsing
1
pretty-printer
1
eprover
1
haskell-library
1
parsing-library
1
pretty-print
1
vampire
1