ALEA - ALEA : A library for reasoning on random algorithms in Coq
Date of the last release: 01 January 2014

Person in charge : PAULIN-MOHRING Christine




More information: http://www.lri.fr/~paulin/ALEA/HTML/

Software



Research activities
  Program proof
  Formalisation of (Specification and Programming) Languages in Proof Assistants

Members
  PAULIN-MOHRING Christine
  BAELDE David

Group
  Verification of Algorithms, Languages and Systems

Joint Inria project team
  Toccata

CODALAB
Codalab

DNADNA
Deep Neural Architectures for DNA

CARTOLABE
CARTOLABE