PropaFP (hackage): Please see the README on GitHub at https://github.com/rasheedja/PropaFP#readme
Keywords: formal-methods|library|math|mathematics|maths|mpl|program|theorem-provers|floating-point|floating-point-arithmetic|formal-verification|haskell|theorem-prover