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

An interactive, visual demonstration of the four color theorem.

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

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

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

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

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

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

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

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

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