- Name: gappalib-coq
- Version: 1.0.0
- Release: 8.fc20
- Epoch:
- Group: Applications/Engineering
- License: LGPLv2+
- Url: http://gappa.gforge.inria.fr/
- Summary: Coq support library for gappa
- Architecture: i686
- Size: 2273267
- Distribution: Fedora Project
- Vendor: Fedora Project
- Packager: Fedora Project
Description:
This support library provides vernacular files so that the certificates
Gappa generates can be imported by the Coq proof assistant. It also
provides a "gappa" tactic that calls Gappa on the current Coq goal.
Gappa (Génération Automatique de Preuves de Propriétés Arithmétiques --
automatic proof generation of arithmetic properties) is a tool intended
to help verifying and formally proving properties on numerical programs
dealing with floating-point or fixed-point arithmetic.
- OptFlags: -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector-strong --param=ssp-buffer-size=4 -grecord-gcc-switches -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables
- Cookie:
- Buildhost: buildvm-26.phx2.fedoraproject.org
Sources packages:
Other version of this rpm:
