Bonjour à tous.
Vous qui fréquentez ce forum sur les maths, serez sans doute intéressés par un fil traitant des rapports entre démonstrations mathématiques et programmation fonctionnelle. Vous y trouverez une présentation des mathématiques constructives sous forme de concepts de programmation dans un système de types approprié.
Ce fil est sous forme de quizz et votre participation sera appréciée.
Cordialement.
Partager