Flocq Library - Flocq Library
Date de dernière version : 10 janvier 2014

Responsable : BOLDO Sylvie




Pour en savoir plus: http://flocq.gforge.inria.fr/

Logiciel - Licence : LGPL



Activités de recherche
  Preuve de programme
  Arithmétique flottante

Membres
  BOLDO Sylvie
  MELQUIOND Guillaume

Equipe
  Vérification d'Algorithmes, Langages et Systèmes

Equipe-projet Inria
  Toccata

CODALAB
open source framework for running competitions

DNADNA
Deep Neural Architectures for DNA

CARTOLABE
CARTOLABE