1 result found Sort:

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