four-color-theorem topic
List
four-color-theorem repositories
fourcolors
24
Stars
4
Forks
Watchers
An interactive, visual demonstration of the four color theorem.
fourcolor
151
Stars
19
Forks
Watchers
Formal proof of the Four Color Theorem [maintainer=@ybertot]