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
Parser and pretty printer for the TPTP language
Registry
-
Source
- JSON
purl: pkg:hackage/tptp
Keywords: formal-methods, gpl, language, library, parsing, pretty-printer, theorem-provers, automated-theorem-provers, eprover, haskell, haskell-library, logic, parsing-library, pretty-print, theorem-proving, tptp, vampire
License: GPL-3.0-only
Latest release: over 3 years ago
First release: about 5 years ago
Dependent repositories: 1
Downloads: 2,268 total
Stars: 6 on GitHub
Forks: 2 on GitHub
See more repository details: repos.ecosyste.ms
Last synced: 27 days ago