Formal proof of the Four Color Theorem [maintainer=@ybertot]

Four color theorem, Guthrie, Kempe, Tait and other people and stuff

An interactive, visual demonstration of the four color theorem.

Four color theorem, Guthrie, Kempe, Tait and other people and stuff

This code demonstrates my implementation of the four color theorem - the algorithm paints the map with just four colors.

四色定理を Haskell に移植したよ

Using the p5.js library to implement graph coloring for custom designs according to the Four Color Theorem

Diapositivas para la charla "El teorema de cuatro colores" para el curso CM-254 en FC-UNI, 18 de junio del 2018.

四色定理を F# に移植したよ

Ruby とオブジェクト指向による四色定理

Four color theorem, Guthrie, Kempe, Tait and other people and stuff

🗾 Graph of the metropolitan region of Curitiba-PR with DFS and BFS examples, as well as Dijkstra's algorithm

Playground to experiment with the 4 color theorem