- gappa
- libcoq-flocq-s7dg7
- libcoq-stdlib-49fx0
This package provides a Coq tactic to discharge goals about
floating-point arithmetic and round-off errors to Gappa.
.
Gappa is a prover for numerical properties.
.
Coq is a proof assistant for higher-order logic.
Installed Size: 2.2 MB
Architectures: amd64 arm64