Explore le Petit Théorème de Fermat, ses extensions, ses algorithmes de test de primalité, et la signification des nombres premiers dans la cryptographie.
Explore la vérification des programmes en utilisant l'inox, en mettant l'accent sur l'exactitude fonctionnelle, les assistants d'épreuve et l'automatisation des tâches de raisonnement.
