7 results found Sort:

rocq-community
fourcolor rocq-community
22
202
other
13
Formal proof of the Four Color Theorem [maintainer=@ybertot]
coq coq-ci mathcomp ssreflect four-color-theorem
Created 2018-11-06
140 commits to master branch, last one 14 days ago
coq-community
math-classes rocq-community
43
165
mit
15
A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters,@Lysxia]
coq coq-ci coq-library mathematics typeclasses coq-platform
Created 2011-05-13
733 commits to master branch, last one 5 months ago
coq-community
coq-ext-lib rocq-community
49
130
bsd-2-clause
15
A library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liyishuai]
coq coq-ci library programming coq-platform
Created 2012-08-22
584 commits to master branch, last one 4 months ago
coq-community
corn rocq-community
45
114
gpl-2.0
13
Coq Repository at Nijmegen [maintainers=@spitters,@VincentSe,@Lysxia]
coq coq-ci coq-library real-number coq-platform
Created 2011-06-21
1,849 commits to master branch, last one 3 months ago
rocq-community
coq-dpdgraph rocq-community
29
89
lgpl-2.1
7
Build dependency graphs between Coq objects [maintainers=@Karmaki,@ybertot]
coq coq-ci coq-platform dependency-graph docker-coq-action dependency-analysis
Created 2014-02-26
285 commits to coq-master branch, last one 12 days ago
rocq-community
coqeal rocq-community
17
70
other
13
The Coq Effective Algebra Library [maintainers=@CohenCyril,@proux01]
coq coq-ci mathcomp refinement mathcomp-ci coq-platform
Created 2014-02-10
840 commits to master branch, last one about a month ago
coq-community
autosubst rocq-community
15
56
mit
10
Automation for de Bruijn syntax and substitution in Coq [maintainers=@RalfJung,@co-dan]
coq coq-ci mathcomp ssreflect debruijn-indices variable-binding
Created 2015-06-03
211 commits to master branch, last one 6 months ago