L'équipe ProVal s'est arrêtée à la fin août 2012, et renaît en une nouvelle équipe
Toccata
Ces pages n'évoluent plus, suivez le lien ci-dessus pour les informations à
jour sur notre équipe.
Alea
http://www.lri.fr/~paulin/ALEA
A library for reasoning on randomized algorithms in Coq