rocq-community / fourcolorLinks

Formal proof of the Four Color Theorem [maintainer=@ybertot]
208Updated last month

Alternatives and similar repositories for fourcolor

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

Sorting: