Logique de Hoare

Preuves de correction, triplets, invariants

Aucune discussion pour le moment.