- Name: gappalib-coq
- Version: 0.17.0
- Release: 1.fc16
- Epoch:
- Group: Applications/Engineering
- License: LGPLv2+
- Url: http://gappa.gforge.inria.fr/
- Summary: Coq support library for gappa
- Architecture: x86_64
- Size: 114756
- 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, i386, i486, i586, i686, pentium3, pentium4, athlon, geode, ia64, x86_64, ppc, sparc, sparcv9, ppc64
- Cookie: x86-01.phx2.fedoraproject.org 1323716664
- Buildhost: x86-01.phx2.fedoraproject.org