Data

Tools

Indexes

Applications

Experiments

Packages

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

twee-lib

An equational theorem prover based on Knuth-Bendix completion

Ecosystem
hackage.haskell.org
Latest Release
2.6.1
about 2 months ago
Versions
14
Downloads
5,757 total
Dependent Packages
1
Dependent Repos
2
    Loading...
    Readme
    Loading...
    Links
    Registry hackage.haskell.org
    Source Repository
    Homepage Homepage
    JSON API View JSON
    CodeMeta codemeta.json
    Package Details
    PURL pkg:hackage/twee-lib
    spec
    License BSD-3-Clause
    First Release about 8 years ago
    Last Synced 22 days ago
    Keywords
    bsd3 library theorem-provers Propose Tags
    Repository
    Stars 49 on GitHub
    Forks 12 on GitHub
    Commits 1205
    Committers 6
    Avg per Author 200.833
    DDS 0.35
    commits.ecosyste.ms
    repos.ecosyste.ms