Séance de cours
Cette séance de cours présente un tutoriel sur la façon d'installer et d'utiliser Stainless, un outil de vérification des programmes Scala. L'instructeur démontre le processus d'installation, y compris le téléchargement de la dernière version à partir de GitHub, le dézippage du contenu et la liaison de l'exécutable à un dossier dans le chemin. Le tutoriel se termine par une étape de vérification pour assurer la bonne installation.