gitlab.inria.fr / gappa 1 Repository
Gappa is a tool intended to help verifying and formally proving properties on numerical programs dealing with floating-point or fixed-point arithmetic.
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.
Last synced at: 7 months ago - Stars: 1 - Forks: 1
gappa/coq
A Coq tactic for discharging goals about floating-point arithmetic and round-off errors using the Gappa prover.
Last synced at: 7 months ago - Stars: 0 - Forks: 3