hackage.haskell.org : Folly
First order logic in Haskell
Registry
-
Source
- JSON
purl: pkg:hackage/Folly
Keywords:
bsd3
, library
, program
, theorem-provers
, Propose Tags
License: BSD-3-Clause
Latest release: almost 10 years ago
First release: almost 11 years ago
Downloads: 11,229 total
Stars: 10 on GitHub
Forks: 3 on GitHub
See more repository details: repos.ecosyste.ms
Last synced: about 1 month ago
Loading...
Readme
Loading...