6 results found Sort:
A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters,@Lysxia]
Created
2011-05-13
727 commits to master branch, last one 2 months ago
Formal proof of the Four Color Theorem [maintainer=@ybertot]
Created
2018-11-06
112 commits to master branch, last one 2 months ago
A library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liyishuai]
Created
2012-08-22
577 commits to master branch, last one about a month ago
Coq Repository at Nijmegen [maintainers=@spitters,@VincentSe,@Lysxia]
Created
2011-06-21
1,833 commits to master branch, last one 2 months ago
Build dependency graphs between Coq objects [maintainers=@Karmaki,@ybertot]
Created
2014-02-26
269 commits to coq-master branch, last one 3 months ago
The Coq Effective Algebra Library [maintainers=@CohenCyril,@proux01]
Created
2014-02-10
806 commits to master branch, last one 13 hours ago