The Coquelicot library - The Coquelicot library
Date de dernière version : 07 septembre 2017

Responsable : BOLDO Sylvie




Pour en savoir plus: http://coquelicot.saclay.inria.fr/

Logiciel



Activités de recherche
  Formalisation de langages (de spécification et de programmation) dans les assistants de preuve

Membres
  BOLDO Sylvie
  MELQUIOND Guillaume
  LELAY Catherine

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