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 とオブジェクト指向による四色定理

Playground to experiment with the 4 color theorem

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

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

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

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

My notes on the four-color theorem proof.

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

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

This repository may help to understand the four color theorem