hackage.haskell.org : PropaFP
Please see the README on GitHub at https://github.com/rasheedja/PropaFP#readme
Registry
-
Source
- Homepage
- JSON
- codemeta.json
purl: pkg:hackage/PropaFP
Keywords:
formal-methods
, library
, math
, mathematics
, maths
, mpl
, program
, theorem-provers
, Propose Tags
, floating-point
, floating-point-arithmetic
, formal-verification
, haskell
, theorem-prover
License: MPL-2.0
Latest release: almost 3 years ago
First release: over 3 years ago
Dependent packages: 2
Dependent repositories: 2
Downloads: 290 total
Stars: 8 on GitHub
Forks: 0 on GitHub
Total Commits: 54
Committers: 2
Average commits per author: 27.0
Development Distribution Score (DDS): 0.019
More commit stats: commits.ecosyste.ms
See more repository details: repos.ecosyste.ms
Last synced: 1 day ago