hackage.haskell.org "theorem-proving" keyword
View the packages on the hackage.haskell.org package registry that are tagged with the "theorem-proving" keyword.
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 - 172 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 - 767 downloads total - 2 maintainers
tptp 0.1.3.0
Parser and pretty printer for the TPTP language7 versions - Latest release: over 4 years ago - 1 dependent repositories - 2.54 thousand downloads total - 7 stars on GitHub - 1 maintainer
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 - 557 downloads total - 12 stars on GitHub - 1 maintainer
language-toolkit 1.3.0.0
A set of tools for analyzing languages via logic and automata6 versions - Latest release: 24 days ago - 1 dependent package - 1 dependent repositories - 330 downloads total - 23 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 - 226 downloads total - 9 stars on GitHub - 1 maintainer
Related Keywords
library
6
Propose Tags
6
theorem-provers
4
formal-methods
3
logic
3
haskell
3
tptp
2
automated-theorem-provers
2
gpl
2
mit
2
program
2
math
2
prover
1
first-order-logic
1
atp
1
propositional-logic
1
automata
1
formal-languages
1
molecular-biology
1
linear-logic
1
automated-deduction
1
bsd3
1
bioinformatics
1
vampire
1
pretty-print
1
parsing-library
1
mathematics
1
haskell-library
1
eprover
1
maths
1
pretty-printer
1
parsing
1
language
1
mpl
1
deprecated
1
theorem-prover
1
verification
1
automatic-theorem-proving
1