Data

Tools

Indexes

Applications

Experiments

Packages

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

logic-TPTP

Ecosystem
hackage.haskell.org
Latest Release
0.2.0
almost 17 years ago
Versions
21
Downloads
15,440 total
Dependent Repos
3
    Loading...
    Readme
    Loading...
    Links
    Registry hackage.haskell.org
    JSON API View JSON
    CodeMeta codemeta.json
    Package Details
    PURL pkg:hackage/logic-TPTP
    spec
    License Other
    First Release almost 17 years ago
    Last Synced about 24 hours ago
    Keywords
    codec library math theorem-provers Propose Tags