@hackage PropaFP0.1.2.0

Auto-active verification of floating-point programs

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