1 result found Sort:

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