coq-community / fourcolor

Formal proof of the Four Color Theorem [maintainer=@ybertot]

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

coq-community/fourcolor Stargazers