merkouris148/four-color-theorem
A simplified presentation of the classical computer science result, The Four-Color Theorem due to K. Appel and W, Hanken.
A simplified presentation of the classical computer science result, The Four-Color Theorem due to K. Appel and W, Hanken.