rocq-community / fourcolorLinks

Formal proof of the Four Color Theorem [maintainer=@ybertot]
210Updated last week

Alternatives and similar repositories for fourcolor

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

Sorting: