Data

Tools

Indexes

Applications

Experiments

Packages

An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

hackage.haskell.org "automatic-theorem-proving" keyword

View the packages on the hackage.haskell.org package registry that are tagged with the "automatic-theorem-proving" keyword.

LPPaver 0.0.5.0
Please see the README on GitHub at https://github.com/rasheedja/LPPaver#readme
2 versions - Latest release: over 2 years ago - 1 dependent package - 1 dependent repositories - 166 downloads total - 5 stars on GitHub - 1 maintainer
Related Keywords
formal-methods 1 library 1 math 1 mathematics 1 maths 1 mpl 1 program 1 theorem-provers 1 verification 1 Propose Tags 1 haskell 1 theorem-prover 1 theorem-proving 1