Fran├žais Anglais
Accueil Annuaire Plan du site
Home > Research results > Software & patents
Research results
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
Software & patents
CODALAB
Codalab

DNADNA
Deep Neural Architectures for DNA

CARTOLABE
CARTOLABE