gitlab.inria.fr / gappa / gappa
Gappa is a tool intended to help verifying and formally proving properties on numerical programs dealing with floating-point or fixed-point arithmetic.
JSON API: https://ecosystem.code.gouv.fr/api/v1/hosts/gitlab.inria.fr/repositories/gappa%2Fgappa
Stars: 1
Forks: 1
Open issues:
License: cecill-2.1
Language:
Dependencies parsed at: Pending
Created at: over 6 years ago
Updated at: 12 months ago
Last synced at: 8 months ago
Readme
Loading...