four-color-theorem
There are 13 repositories under four-color-theorem topic.
coq-community/fourcolor
Formal proof of the Four Color Theorem [maintainer=@ybertot]
akleemans/fourcolors
An interactive, visual demonstration of the four color theorem.
stefanutti/maps-coloring-python
Four color theorem, Guthrie, Kempe, Tait and other people and stuff
righ1113/4CT_Ruby
Ruby とオブジェクト指向による四色定理
stefanutti/maps-coloring-java
Four color theorem, Guthrie, Kempe, Tait and other people and stuff
righ1113/4CT_Haskell
四色定理を Haskell に移植したよ
stefanutti/maps-coloring-docs
Four color theorem, Guthrie, Kempe, Tait and other people and stuff
anushk4/p5.js
Using the p5.js library to implement graph coloring for custom designs according to the Four Color Theorem
carlosal1015/4colores
Diapositivas para la charla "El teorema de cuatro colores" para el curso CM-254 en FC-UNI, 18 de junio del 2018.
danieledapo/4color-map
Playground to experiment with the 4 color theorem
florencecat/four-colors-theorem
This code demonstrates my implementation of the four color theorem - the algorithm paints the map with just four colors.
gprzy/metropolitan-region-graph
🗾 Graph of the metropolitan region of Curitiba-PR with DFS and BFS examples, as well as Dijkstra's algorithm
righ1113/4CT_FSharp
四色定理を F# に移植したよ