spectre/cours
1
0
Fork 0
mirror of https://github.com/Fare-spec/cours.git synced 2025-12-08 03:00:37 +00:00
Code Issues Packages Projects Releases Wiki Activity

correction prof

Browse Source
This commit is contained in:
Spectre
2024-11-27 09:00:16 +01:00
parent d20b23ad3a
commit 2b5800c112
1 changed files with 2 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
preuve.md
View File

@@ -12,7 +12,8 @@ precondition: |liste| > 0
# Preuve de terminaison # Preuve de terminaison
La terminaison est assuré par la présence d'un variant de boucle (séquence d'entier naturel). *ici* La terminaison est assuré par la présence d'un variant de boucle (séquence d'entier naturel). *ici*
```plaintext ```plaintext
|liste| - index ``` |liste| - index
```
est un variant de boucles est un variant de boucles