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 "parsing-library" keyword

View the packages on the hackage.haskell.org package registry that are tagged with the "parsing-library" 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
Related Keywords
formal-methods 1 gpl 1 language 1 library 1 parsing 1 pretty-printer 1 theorem-provers 1 Propose Tags 1 automated-theorem-provers 1 eprover 1 haskell 1 haskell-library 1 logic 1 pretty-print 1 theorem-proving 1 tptp 1 vampire 1