hackage.haskell.org : structural-induction
SII: Structural Induction Instantiator over any strictly-positive algebraic data type.
Registry
-
Source
- Homepage
- JSON
purl: pkg:hackage/structural-induction
Keywords:
lgpl
, library
, logic
, theorem-provers
, Propose Tags
License: LGPL-3.0-only
Latest release: over 10 years ago
First release: over 12 years ago
Dependent repositories: 3
Downloads: 4,597 total
Stars: 4 on GitHub
Forks: 1 on GitHub
See more repository details: repos.ecosyste.ms
Last synced: 26 days ago
Loading...
Readme
Loading...