Data

Tools

Indexes

Applications

Experiments

Packages

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

tptp

Parser and pretty printer for the TPTP language

Ecosystem
hackage.haskell.org
Latest Release
0.1.3.0
about 5 years ago
Versions
7
Downloads
2,660 total
Dependent Repos
1
    Loading...
    Readme
    Loading...
    Links
    Registry hackage.haskell.org
    Source Repository
    JSON API View JSON
    CodeMeta codemeta.json
    Package Details
    PURL pkg:hackage/tptp
    spec
    License GPL-3.0-only
    First Release almost 7 years ago
    Last Synced 22 days ago
    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
    Repository
    Stars 7 on GitHub
    Forks 2 on GitHub
    repos.ecosyste.ms