4ct

Here are 7 public repositories matching this topic...

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

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

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

fsharp 4ct four-color-theorem proving

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

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

haskell 4ct four-color-theorem proving

D言語による四色定理

dlang 4ct

Redução da quantidade de casos de 633 para 25. Possibilidade para reduções maiores porém por limitações técnicas, não foi feita nesse repo.

math 4ct

To associate your repository with the 4ct topic, visit your repo's landing page and select "manage topics."