Package coq-gappa @ 1.3.4

Synopsis

Verify and formally prove properties on numerical programs

Description

Gappa is a tool intended to help verifying and formally proving properties on numerical programs dealing with floating-point or fixed-point arithmetic. It has been used to write robust floating-point filters for CGAL and it is used to certify elementary functions in CRlibm. While Gappa is intended to be used directly, it can also act as a backend prover for the Why3 software verification plateform or as an automatic tactic for the Coq proof assistant.

Home page
http://gappa.gforge.inria.fr/
Location
gnu/packages/coq.scm (line: 261, column: 2)
Licenses

Lint warnings

LinterMessageLocation
formatting

Look for formatting issues in the source

line 266 is way too long (94 characters)