Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
hackage.haskell.org "first-order-logic" keyword
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