Top users by languages

Coq

Back to languages list
User peterlefanulumsdaine

Peter LeFanu Lumsdaine

@peterlefanulumsdaine

#1
58

User palmskog

Karl Palmskog

@palmskog

#2
38

User vlopezj

Víctor López Juan

@vlopezj

#3
30

User guillaumebrunerie

Guillaume Brunerie

@guillaumebrunerie

#4
11

User mortberg

Anders Mörtberg

@mortberg

#5
7

User llbit

Jesper Öqvist

@llbit

#6
6

User aronisstav

Stavros Aronis

@aronisstav

#7
3

User MaximilianAlgehed

Maximilian Algehed

@MaximilianAlgehed

#8
1

User aaronwinter

Erwan

@aaronwinter

#9
1