At a Glance
| Applications | SAT Solver SMT Solver Theorem Prover |
| Developers | Inria |
| Inputs | WhyML |
| Interfaces | CLI Coq Why3 |
| Licenses | MIT |
| Maintenance | Actively Maintained |
Description
Gappa is a tool intended to help verifying and formally proving properties on numerical programs dealing with floating-point or fixed-point arithmetic.