- Name: gappalib-coq
- Version: 0.18.0
- Release: 6.fc18
- Epoch:
- Group: Applications/Engineering
- License: LGPLv2+
- Url: http://gappa.gforge.inria.fr/
- Summary: Coq support library for gappa
- Architecture: x86_64
- Size: 1827367
- 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 --param=ssp-buffer-size=4 -m64 -mtune=generic
- Cookie:
- Buildhost: buildvm-15.phx2.fedoraproject.org
Sources packages:
Other version of this rpm:
