Développement #412

Titre : Correction de la logique de Hoare

Contenu : On prouve ici la correction de la logique de Hoare. On insistera sur le cas de la boucle while que est le cas le plus intéressant.

Créé le : 23/07/2026 12:42

Mis à jour : 23/07/2026 12:42