Passer au playerPasser au contenu principalPasser au pied de page
  • 06/06/2020
Correction d'un exercice sur un invariant de boucle permettant de prouver qu'une fonction sommant les termes entiers d'une liste est correcte.

Catégorie

📚
Éducation