gitlab.inria.fr / gappa 1 Dépôt
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.
dernière synchronisation: il y a environ un an - étoiles: 1 - forks: 1
gappa/coq
A Coq tactic for discharging goals about floating-point arithmetic and round-off errors using the Gappa prover.
dernière synchronisation: il y a environ un an - étoiles: 0 - forks: 3