Mentions légales du service

Skip to content
Snippets Groups Projects
G

Gappa

Gappa is a tool intended to help verifying and formally proving properties on numerical programs dealing with floating-point or fixed-point arithmetic.

  • C
    coq

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

    0
  • G
    gappa

    Gappa is a tool intended to help verifying and formally proving properties on numerical programs dealing with floating-point or fixed-point arithmetic.

    1