coq-gappa

A Coq tactic for discharging goals about floating-point arithmetic and round-off errors using the Gappa prover

opam install coq-gappa.1.4.4
homepage
http://gappa.gforge.inria.fr/
license
LGPL-3.0-or-later
bugs tracker
https://gitlab.inria.fr/gappa/coq/issues
dependencies
"ocaml" "coq" {>= "8.8.1" & < "8.13~"} "coq-flocq" {>= "3.0"} "conf-autoconf" {build & dev} ("conf-g++" {build} | "conf-clang" {build})
source
https://gforge.inria.fr/frs/download.php/file/38338/gappalib-coq-1.4.4.tar.gz
package
https://github.com/coq/opam-coq-archive/tree/master/released/packages/coq-gappa/coq-gappa.1.4.4