Flora :: [Package]

Search a package

@hackage / PropaFP

Auto-active verification of floating-point programs

0.1.2.0

About 3 Versions Changelog 17 Dependencies 1 Dependent Security

About 3 Versions Changelog 17 Dependencies 1 Dependent Security

Version history

0.1.2.0
- Uploaded: 3 years ago
- License: MPL-2.0
0.1.1.0
- Uploaded: 3 years ago
- Revised: 3 years ago
- License: MPL-2.0
0.1.0.0
- Uploaded: 4 years ago
- License: MPL-2.0

A modern package index for Haskell

More links

Documentation
All Packages
Login

Get In Touch

Email
Mastodon
Bluesky

A project made by humans Sources distributed under AGPL license Design & Frontend by Guérilla.Studio