1 search result for "tag:"logpath:Gappa""

Showing 1 - 1

coq-gappa

No documentation

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

keyword:floating-point arithmetic keyword:interval arithmetic keyword:decision procedure category:Computer Science/Decision Procedures and Certified Algorithms/Decision procedures logpath:Gappa date:2026-02-19

Guillaume Melquiond <guillaume.melquiond@inria.fr>

1.8.0

LGPL-3.0-or-later

Used by 0 other packages

20 Feb 2026