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

Name
Last commit
Last update
src Loading commit data...
testsuite Loading commit data...
.gitignore Loading commit data...
AUTHORS Loading commit data...
COPYING Loading commit data...
INSTALL.md Loading commit data...
NEWS.md Loading commit data...
README.md Loading commit data...
Remakefile.in Loading commit data...
_CoqProject Loading commit data...
autogen.sh Loading commit data...
configure.in Loading commit data...
remake.cpp Loading commit data...