Ecosyste.ms: Packages

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

hackage.haskell.org "prover" keyword

atp 0.1.0.0

Haskell interface to automated theorem provers
1 version - Latest release: over 3 years ago - 1 dependent repositories - 176 downloads total - 6 stars on GitHub - 1 maintainer

Related Keywords

formal-methods 1 gpl 1 library 1 logic 1 math 1 theorem-provers 1 atp 1 automated-theorem-provers 1 first-order-logic 1 haskell 1 theorem-proving 1 tptp 1