Languages
Developers
Countries
Repos
Topics
Coq
languages
/ Coq
3,359
Developers
Top ranked
Rank
Developer
Repos
Stars
1
AbsInt
1
1,692
2
mit-plv
17
1,587
3
gustavo-depaula
1
1,365
4
UniMath
10
1,312
5
HoTT
1
1,191
6
jwiegley
12
1,072
7
math-comp
18
917
8
uwplse
12
878
9
magmide
1
784
10
tchajed
30
668
5,277
Repos
Top ranked
Rank
Repo
Stars
Developer
1
CompCert
1,692
AbsInt
2
stalin-sort
1,365
gustavo-depaula
3
Coq-HoTT
1,191
HoTT
4
UniMath
876
UniMath
5
magmide
784
magmide
6
category-theory
716
jwiegley
7
fiat-crypto
636
mit-plv
8
verdi
559
uwplse
9
math-comp
515
math-comp
10
coq-tricks
458
tchajed
0
Topics
Most popular
Topic
Repos
Stars