hackage.haskell.org : logic-TPTP
Registry
- JSON
purl: pkg:hackage/logic-TPTP
Keywords:
codec
, library
, math
, theorem-provers
, Propose Tags
License: Other
Latest release: about 16 years ago
First release: about 16 years ago
Dependent repositories: 3
Downloads: 15,148 total
Last synced: 2 days ago