Topic: "four-color-theorem"
rocq-community/fourcolor
Formal proof of the Four Color Theorem [maintainer=@ybertot]
Language: Coq - Size: 803 KB - Last synced at: 9 days ago - Pushed at: 9 days ago - Stars: 205 - Forks: 22
stefanutti/maps-coloring-python
Four color theorem, Guthrie, Kempe, Tait and other people and stuff
Language: Python - Size: 26.8 MB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 10 - Forks: 4
righ1113/4CT_Ruby
Ruby とオブジェクト指向による四色定理
Language: Ruby - Size: 7.33 MB - Last synced at: about 1 year ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0
stefanutti/maps-coloring-java
Four color theorem, Guthrie, Kempe, Tait and other people and stuff
Language: Java - Size: 178 MB - Last synced at: 4 months ago - Pushed at: about 3 years ago - Stars: 1 - Forks: 0
edogawashinichi/triangulation-planar-embedding
Draw a triangulation on a plane
Language: C++ - Size: 1.02 MB - Last synced at: 28 days ago - Pushed at: 28 days ago - Stars: 0 - Forks: 0
edogawashinichi/planar-graph-coloring
This repository may help to understand the four color theorem
Language: C++ - Size: 5.8 MB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 0 - Forks: 0
arceryz/heart-4color
My notes on the four-color theorem proof.
Language: TeX - Size: 3.24 MB - Last synced at: about 1 month ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0
righ1113/4CT_Haskell
四色定理を Haskell に移植したよ
Language: Haskell - Size: 3.86 MB - Last synced at: about 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
righ1113/4CT_FSharp
四色定理を F# に移植したよ
Language: F# - Size: 599 KB - Last synced at: about 1 year ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0
gprzy/metropolitan-region-graph
🗾 Graph of the metropolitan region of Curitiba-PR with DFS and BFS examples, as well as Dijkstra's algorithm
Language: Jupyter Notebook - Size: 6.84 KB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0
danieledapo/4color-map
Playground to experiment with the 4 color theorem
Language: Rust - Size: 28.3 KB - Last synced at: over 1 year ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0
stefanutti/maps-coloring-docs
Four color theorem, Guthrie, Kempe, Tait and other people and stuff
Size: 146 MB - Last synced at: 4 months ago - Pushed at: about 5 years ago - Stars: 0 - Forks: 0
carlosal1015/4colores
Diapositivas para la charla "El teorema de cuatro colores" para el curso CM-254 en FC-UNI, 18 de junio del 2018.
Language: TeX - Size: 123 MB - Last synced at: about 2 months ago - Pushed at: almost 6 years ago - Stars: 0 - Forks: 0
