PropaFP
Version 0.1.2.0 revision 0 uploaded by JunaidRasheed.
Package meta
- Synopsis
- Auto-active verification of floating-point programs
- Description
Please see the README on GitHub at https://github.com/rasheedja/PropaFP#readme
- Author
- Junaid Rasheed
- Bug reports
- https://github.com/rasheedja/PropaFP/issues
- Category
- Math, Maths, Mathematics, Formal methods, Theorem Provers
- Copyright
- MPL-2.0
- Homepage
- https://github.com/rasheedja/PropaFP#readme
- Maintainer
- jrasheed178@gmail.com
- Package URL
- n/a
- Stability
- n/a