mirror of
https://github.com/NixOS/nixpkgs.git
synced 2024-11-30 09:31:01 +00:00
9f1eb28a20
Gappa is a tool intended to help verifying and formally proving properties on numerical programs dealing with floating-point or fixed-point arithmetic. Homepage: http://gappa.gforge.inria.fr/ |
||
|---|---|---|
| .. | ||
| default.nix | ||