Data

Tools

Indexes

Applications

Experiments

Packages

An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

PropaFP

Please see the README on GitHub at https://github.com/rasheedja/PropaFP#readme

Ecosystem
hackage.haskell.org
Latest Release
0.1.2.0
almost 3 years ago
Versions
3
Downloads
290 total
Dependent Packages
2
Dependent Repos
2
    Loading...
    Readme
    Loading...
    Links
    Registry hackage.haskell.org
    Source Repository
    Homepage Homepage
    JSON API View JSON
    CodeMeta codemeta.json
    Package Details
    PURL pkg:hackage/PropaFP
    spec
    License MPL-2.0
    First Release over 3 years ago
    Last Synced 24 days ago
    Keywords
    formal-methods library math mathematics maths mpl program theorem-provers Propose Tags floating-point floating-point-arithmetic formal-verification haskell theorem-prover
    Repository
    Stars 8 on GitHub
    Forks 0 on GitHub
    Commits 54
    Committers 2
    Avg per Author 27.0
    DDS 0.019
    commits.ecosyste.ms
    repos.ecosyste.ms
    Rankings on hackage.haskell.org
    Dependent packages Top 7.2%