1 result found Sort:

coq-community
fourcolor coq-community
20
162
other
14
Formal proof of the Four Color Theorem [maintainer=@ybertot]
coq coq-ci mathcomp ssreflect four-color-theorem
Created 2018-11-06
122 commits to master branch, last one 3 months ago