Data

Tools

Indexes

Applications

Experiments

Packages

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

hackage.haskell.org "floating-point-arithmetic" keyword

View the packages on the hackage.haskell.org package registry that are tagged with the "floating-point-arithmetic" keyword.

PropaFP 0.1.2.0
Please see the README on GitHub at https://github.com/rasheedja/PropaFP#readme
3 versions - Latest release: over 2 years ago - 2 dependent packages - 2 dependent repositories - 238 downloads total - 8 stars on GitHub - 1 maintainer
Related Keywords
formal-methods 1 library 1 math 1 mathematics 1 maths 1 mpl 1 program 1 theorem-provers 1 Propose Tags 1 floating-point 1 formal-verification 1 haskell 1 theorem-prover 1