Assertions, prédicats et quantificateurs

Palier 0 — Pour bien démarrer

L'essentiel du cours, les outils clés, des exemples directs. La question qui donne envie de l'outil.

Le contenu de ce palier n'est pas encore rédigé pour cette leçon.