- 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: 121105
- 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.
- BuildArch:
- ExcludeArch:
- ExclusiveArch: alpha, armv3l, armv4b, armv4l, armv4tl, armv5tel, armv5tejl, armv6l, armv7l, armv7hl, armv7hnl, i386, i486, i586, i686, pentium3, pentium4, athlon, geode, ia64, x86_64, ppc, sparc, sparcv9, ppc64
- Cookie: buildvm-15.phx2.fedoraproject.org 1358194347
- Buildhost: buildvm-15.phx2.fedoraproject.org