Top users by languages

Coq

Back to languages list
User wouter-swierstra

Wouter Swierstra

@wouter-swierstra

#1
45

User osresearch

Trammell Hudson

@osresearch

#2
13

User co-dan

Dan Frumin

@co-dan

#3
10

User serras

Alejandro Serrano

@serras

#4
9

User martijnvermaat

Martijn Vermaat

@martijnvermaat

#5
5

User bergwerf

Herman Bergwerf

@bergwerf

#6
2

User ocecaco

Daniël Louwrink

@ocecaco

#7
2

User KiOui

Lars van Rhijn

@KiOui

#8
2

User ildyria

Benoît Viguier

@ildyria

#9
1

User jangroothuijse

Jan Groothuijse

@jangroothuijse

#10
1

User mklinik

Markus Klinik

@mklinik

#11
1

User wires

Jelle Herold

@wires

#12
1