Metadata
Author: WikiMatrix
Data
French[fr]
Le célèbre problème des quatre couleurs est l'un des problèmes résolus avec cet outil.
Russian[ru]
Доказательство теоремы четырёх красок является одним из первых доказательств, в которых был использован компьютер.