From ed56e610fdfba55a0b825c65197b743445d0357f Mon Sep 17 00:00:00 2001 From: Spectre Date: Wed, 27 Nov 2024 08:24:59 +0100 Subject: [PATCH] test2 --- preuve.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/preuve.md b/preuve.md index daa3459..df9a0a9 100644 --- a/preuve.md +++ b/preuve.md @@ -10,6 +10,7 @@ precondition: |liste| > 0 Resultat ``` # Preuve de terminaison - La terminaison est assuré par la présence d'un variant de boucle (séquence d'entier naturel). *ici* ```plaintext +La terminaison est assuré par la présence d'un variant de boucle (séquence d'entier naturel). *ici* +```plaintext |liste| - index ```est un variant de boucles