DB OK { now }

Done sans preuve - Proof Gate

Taches done sans proof_status=verified • Lecture seule

Taches done - proof_status != verified

Chargement...