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