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-proving" keyword
language-toolkit 1.2.0.1
A set of tools for analyzing languages via logic and automata5 versions - Latest release: 15 days ago - 1 dependent package - 1 dependent repositories - 192 downloads total - 21 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
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
proof-combinators 0.1.0.0
[Index] Package maintainers For package maintainers and hackage trustees Candidates Proof...1 version - Latest release: about 6 years ago - 720 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 5 years ago - 1 dependent repositories - 504 downloads total - 11 stars on GitHub - 1 maintainer
Related Keywords
library
6
theorem-provers
4
formal-methods
3
logic
3
haskell
3
mit
2
program
2
tptp
2
gpl
2
math
2
automated-theorem-provers
2
automatic-theorem-proving
1
verification
1
mpl
1
maths
1
mathematics
1
vampire
1
pretty-print
1
theorem-prover
1
bioinformatics
1
bsd3
1
automated-deduction
1
linear-logic
1
molecular-biology
1
parsing-library
1
haskell-library
1
eprover
1
pretty-printer
1
parsing
1
language
1
prover
1
first-order-logic
1
atp
1
propositional-logic
1
automata
1
formal-languages
1