hackage.haskell.org : why3
Registry
- JSON
- codemeta.json
purl: pkg:hackage/why3
Keywords:
languages
, library
, mit
, Propose Tags
License: MIT
Latest release: over 10 years ago
First release: over 10 years ago
Dependent repositories: 1
Downloads: 875 total
Last synced: about 2 months ago