Ecosyste.ms: Packages

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

hackage.haskell.org "vampire" keyword

tptp 0.1.3.0

Parser and pretty printer for the TPTP language
7 versions - Latest release: over 3 years ago - 1 dependent repositories - 2.27 thousand downloads total - 6 stars on GitHub - 1 maintainer

Related Keywords

formal-methods 1 gpl 1 language 1 library 1 parsing 1 pretty-printer 1 theorem-provers 1 automated-theorem-provers 1 eprover 1 haskell 1 haskell-library 1 logic 1 parsing-library 1 pretty-print 1 theorem-proving 1 tptp 1