|
|
Software Pff library |
 |
|
Pff library - Pff library
Date of the last release: 01 January 2013
Person in charge : BOLDO Sylvie
The Pff library is a Coq library of definitions and properties about floating-point arithmetic. It is now superseded by the Flocq library and is not maintained anymore.
Software
Research activities
Members
BOLDO Sylvie
Group
Verification of Algorithms, Languages and Systems
Joint Inria project team Toccata
|
|
|
|
|
