Mentions légales du service

Skip to content
C

coq

Project ID: 25567

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