Cette page présente une tentative de formaliser en Coq les problèmes proposées par le journal
Le Monde en 2013
comme énigmes mathématiques. Pour chaque problème, nous présentons la vidéo qui décrit le problème et
le fichier Coq correspondant. Ces fichiers utilisent l'extension
Ssreflect.
Palindrome
La vidéo
Le fichier Coq
Le fichier avec définitions et théorèmes (+ les preuves).
Cube
La vidéo
Le fichier Coq
Le fichier avec définitions et théorèmes (+ les preuves).
Grille
La vidéo
Le fichier Coq
Le fichier avec définitions et théorèmes (+ les preuves).
Allumette
La vidéo
Le fichier Coq
Le fichier avec définitions et théorèmes (+ les preuves).
Cordes
La vidéo
Le fichier Coq
Le fichier avec définitions et théorèmes (+ les preuves).
Nombre mystère
La vidéo
Le fichier Coq
Le fichier avec définitions et théorèmes (+ les preuves).
Verre
La vidéo
Le fichier Coq
Le fichier avec définitions et théorèmes (+ les preuves).
Chapeaux
La vidéo
Le fichier Coq
Le fichier avec définitions et théorèmes (+ les preuves).