hackage.haskell.org "theorem-proving" keyword
View the packages on the hackage.haskell.org package registry that are tagged with the "theorem-proving" keyword.
language-toolkit 1.2.0.1
A set of tools for analyzing languages via logic and automata5 versions - Latest release: over 1 year ago - 1 dependent package - 1 dependent repositories - 323 downloads total - 23 stars on GitHub - 1 maintainer
tptp 0.1.3.0
Parser and pretty printer for the TPTP language7 versions - Latest release: over 4 years ago - 1 dependent repositories - 2.52 thousand downloads total - 7 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: over 2 years ago - 1 dependent package - 1 dependent repositories - 166 downloads total - 5 stars on GitHub - 1 maintainer
proof-combinators 0.1.0.0
Provides proof Combinators used in Liquid Haskell for Theorem Proving1 version - Latest release: over 7 years ago - 762 downloads total - 2 maintainers
zsyntax 0.2.0.0
An automated theorem prover for Zsyntax, a logical calculus for molecular biology inspired by lin...1 version - Latest release: over 6 years ago - 1 dependent repositories - 553 downloads total - 12 stars on GitHub - 1 maintainer
atp 0.1.0.0
Haskell interface to automated theorem provers1 version - Latest release: over 4 years ago - 1 dependent repositories - 223 downloads total - 9 stars on GitHub - 1 maintainer
Related Keywords
library
6
Propose Tags
6
theorem-provers
4
logic
3
haskell
3
formal-methods
3
automated-theorem-provers
2
tptp
2
gpl
2
math
2
program
2
mit
2
automatic-theorem-proving
1
theorem-prover
1
verification
1
deprecated
1
mpl
1
bioinformatics
1
bsd3
1
automated-deduction
1
linear-logic
1
molecular-biology
1
atp
1
first-order-logic
1
prover
1
maths
1
mathematics
1
vampire
1
pretty-print
1
parsing-library
1
haskell-library
1
eprover
1
pretty-printer
1
parsing
1
language
1
propositional-logic
1
automata
1
formal-languages
1