Top users by languages

Coq

Back to languages list
User amintimany

Amin Timany

@amintimany

#1
106

User pa-ba

Patrick Bahr

@pa-ba

#2
50

Organization logsem

Logic and Semantics @ Aarhus University

@logsem

#3
31

User reynir

Reynir Björnsson

@reynir

#4
20

User MathiasVP

Mathias Vorreiter Pedersen

@MathiasVP

#5
10

User annenkov

Danil Annenkov

@annenkov

#6
7

User aslanix

Aslan Askarov

@aslanix

#7
7

User dragonwasrobot

Peter Urbak

@dragonwasrobot

#8
6

User Armael

Armaël Guéneau

@Armael

#9
3

Organization diku-dk

DIKU

@diku-dk

#10
2

User christiankjaer

Christian Kjær Larsen

@christiankjaer

#11
1

User eernstg

Erik Ernst

@eernstg

#12
1

User andreaslyn

Andreas Lynge

@andreaslyn

#13
1