Quelques défis mathématiques à retrouver sur www.lemonde.fr
L’énigme des chapeaux
L’énigme du parking
L’énigme de la corde autour de la Terre
Fichier Coq avec définitions et théorèmes, ainsi que les preuves.
Fichier Coq avec définitions et théorèmes, ainsi que les preuves.
Fichier Coq avec définitions et théorèmes, ainsi que les preuves.
La formalisation des preuves grâce à l’assistant Coq a été faite par Laurent Théry qui a regroupé sur cette page toutes les preuves des énigmes mathématiques parues sur www.lemonde.fr.