5 results found Sort:

coq-community
math-classes coq-community
43
162
mit
16
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 17 days ago
coq-community
coq-ext-lib coq-community
46
129
bsd-2-clause
16
A library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liyishuai]
coq coq-ci library programming coq-platform
Created 2012-08-22
582 commits to master branch, last one 2 months ago
coq-community
corn coq-community
44
111
gpl-2.0
14
Coq Repository at Nijmegen [maintainers=@spitters,@VincentSe,@Lysxia]
coq coq-ci coq-library real-number coq-platform
Created 2011-06-21
1,845 commits to master branch, last one 2 days ago
coq-community
coq-dpdgraph coq-community
27
86
lgpl-2.1
8
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
274 commits to coq-master branch, last one 7 days ago
coq-community
coqeal coq-community
17
66
other
14
The Coq Effective Algebra Library [maintainers=@CohenCyril,@proux01]
coq coq-ci mathcomp refinement mathcomp-ci coq-platform
Created 2014-02-10
814 commits to master branch, last one 3 months ago