ROBDD in Why3
Implémentation et preuve d'une bibliothèque permettant de manipuler des BDD.
Rapport
Code du Projet
Recapitulatif de la Session Why3
Dépot GitHub