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 "automated-theorem-provers" keyword

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

tptp 0.1.3.0
Parser and pretty printer for the TPTP language
7 versions - Latest release: over 4 years ago - 1 dependent repositories - 2.52 thousand downloads total - 7 stars on GitHub - 1 maintainer
atp 0.1.0.0
Haskell interface to automated theorem provers
1 version - Latest release: over 4 years ago - 1 dependent repositories - 223 downloads total - 9 stars on GitHub - 1 maintainer
Related Keywords
formal-methods 2 gpl 2 library 2 theorem-provers 2 Propose Tags 2 haskell 2 logic 2 tptp 2 theorem-proving 2 prover 1 first-order-logic 1 atp 1 math 1 vampire 1 pretty-print 1 parsing-library 1 haskell-library 1 eprover 1 pretty-printer 1 parsing 1 language 1