Contact English version

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


index