Gappa
Gappa is a tool intended to help verifying and formally proving properties on numerical programs dealing with floating-point or fixed-point arithmetic.
Follow to track new versions in your feed.
Overview
0
Version & Lifecycle
0
Community Notes
No community notes yet
Be the first to as a good question or share deployment tips, customization scripts, command lines, or troubleshooting steps.
Release Notes & Updates
0
Avg cadence: —
Next anticipated release: —
Updates • 0
Help us match vulnerabilities
No vulnerability match yet. Pick the right product:
Looking for matching products…
Don’t see it? Paste a CPE
Also known as
Other names people use for this app — helps search and matching.
GappaInstitut National de Recherche en Informatique et en Automatique Gappa
Sign in to suggest a name.
Packaging Notes
0
opam install coq-gappa for Coq support library
