You are viewing the staging branch of the website @ 69c842c, not the live version.

package coq-gappa

You can search for identifiers within the package.

in-package search v0.2.0

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

Install

Dune Dependency

gappa.gitlabpages.inria.fr Edit opam file Versions (20)

Authors

G

Guillaume Melquiond <guillaume.melquiond@inria.fr>

Maintainers

G

guillaume.melquiond@inria.fr

Sources

gappalib-coq-1.3.2.tar.gz

md5=d0374859edfc92f490ac291bbcea3341

Description

Tags

keyword:floating-point arithmetic keyword:interval arithmetic keyword:decision procedure category:Computer Science/Decision Procedures and Certified Algorithms/Decision procedures

Published: 25 Nov 2016

Dependencies (3)

coq-flocq >= "2.5" & < "3.0~"
coq >= "8.4pl4" & < "8.7~" & != "8.4.6~camlp4" & != "8.5.0~camlp4" & != "8.5.2~camlp4"
ocaml

Dev Dependencies

None

Used by

None

Conflicts

None

On This Page

Description
Dependencies (3)
Dev Dependencies
Used by
Conflicts