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