Coq.FP2 - Coq.FP2
Date of the last release: 03 October 2012

Person in charge : BOLDO Sylvie




More information: http://lipforge.ens-lyon.fr/www/pff/

Software



Research activities
  Program proof
  Floating-point arithmetic

Members
  BOLDO Sylvie

Group
  Verification of Algorithms, Languages and Systems

Joint Inria project team
  Toccata

CODALAB
Codalab

DNADNA
Deep Neural Architectures for DNA

CARTOLABE
CARTOLABE