-
Clément Fumex authored
Fix Bool.v Add TODO to Seq.v and BV_Gen.v update queens_bv session
c2674ad6
Prochaines maintenances programmées: mardi 02/04, lundi 06/05, lundi 03/06
Pour plus d'informations: https://doc-si.inria.fr/display/SU/Gitlab
Fix Bool.v Add TODO to Seq.v and BV_Gen.v update queens_bv session