Data

Tools

Indexes

Applications

Experiments

Packages

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

structural-induction

SII: Structural Induction Instantiator over any strictly-positive algebraic data type.

Ecosystem
hackage.haskell.org
Latest Release
0.1.2
over 11 years ago
Versions
6
Downloads
4,696 total
Dependent Repos
3
    Loading...
    Readme
    Loading...
    Links
    Registry hackage.haskell.org
    Source Repository
    Homepage Homepage
    JSON API View JSON
    CodeMeta codemeta.json
    Package Details
    PURL pkg:hackage/structural-induction
    spec
    License LGPL-3.0-only
    First Release about 13 years ago
    Last Synced 22 days ago
    Keywords
    lgpl library logic theorem-provers Propose Tags
    Repository
    Stars 4 on GitHub
    Forks 1 on GitHub
    repos.ecosyste.ms