rpms / gappalib-coq
Created 6 years ago
Maintained by
jjames
The gappalib-coq rpms
Jerry James committed 2 months ago
gappalib-coq
This package contains a Coq tactic for discharging goals about floating-point arithmetic and round-off errors using the Gappa prover.