package coq-gappa
A Coq tactic for discharging goals about floating-point arithmetic and round-off errors using the Gappa prover
Install
Dune Dependency
Authors
Maintainers
Sources
gappalib-coq-1.7.1.tar.gz
sha512=d7ce43e05b2c16a761ef7ebc3b4129c52c9ee043a25d7496254c3905f3fa5e01d73694da25408d0c90f8026eec7e3d6e45217391d9664aa3b5f2239aa0468014
Description
Tags
keyword:floating-point arithmetic keyword:interval arithmetic keyword:decision procedure category:Computer Science/Decision Procedures and Certified Algorithms/Decision procedures logpath:Gappa date:2025-06-11Published: 12 Jun 2025
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page