Ce projet est - enfin - fini !
En fonction de ma note, je vous joindrais un aperçu des solutions et de ce que j'ai répondu à la question
Si possible, indiquez en quelques lignes dans quelle mesure la manipulation d'un outil tel que Coq vous a permis ou non de clarifier la notion de "raisonnement correct".