Languages
Developers
Countries
Repos
Topics
Top Coq repos
languages
/
Coq
/
global
6,128 repos
«
1
2
...
613
»
Rank
Repo
Stars
Developer
1
CompCert
1,757
AbsInt
2
stalin-sort
1,455
gustavo-depaula
3
Coq-HoTT
1,214
HoTT
4
UniMath
909
UniMath
5
magmide
803
magmide
6
category-theory
734
jwiegley
7
fiat-crypto
685
mit-plv
8
frap
639
achlipala
9
verdi
572
uwplse
10
math-comp
544
math-comp