ewdlop/Proof-Assistance-Note

https://en.wikipedia.org/wiki/Proof_assistant; 一錯特錯錯到底! 爆炸原理是重哪來的?

Language: Coq - Size: 227 KB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 0 - Forks: 0

jschoedl/4colors

Calculate the chromatic number and visualize the associated k-coloring of any graph.

Language: JavaScript - Size: 7.67 MB - Last synced at: 9 months ago - Pushed at: 9 months ago - Stars: 1 - Forks: 0

alexandrac15/4-Color-Problem

Language: Java - Size: 21.5 KB - Last synced at: about 2 years ago - Pushed at: about 5 years ago - Stars: 0 - Forks: 0

macarthuror/4-color-theorem

Description and examples of what's the 4 Color Theorem

Language: HTML - Size: 3.19 MB - Last synced at: about 2 years ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0