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
, Propose Tags
, automated-theorem-provers
, eprover
, haskell
, haskell-library
, logic
, parsing-library
, pretty-print
, theorem-proving
, tptp
, vampire
License: GPL-3.0-only
Latest release: over 4 years ago
First release: about 6 years ago
Dependent repositories: 1
Downloads: 2,518 total
Stars: 7 on GitHub
Forks: 2 on GitHub
See more repository details: repos.ecosyste.ms
Last synced: 8 days ago