1 result found Sort:

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