coq-community / fourcolor

Formal proof of the Four Color Theorem [maintainer=@ybertot]
199Updated 3 weeks ago

Alternatives and similar repositories for fourcolor:

Users that are interested in fourcolor are comparing it to the libraries listed below