Top users by languages

Coq

Back to languages list
User michaelsproul

Michael Sproul

@michaelsproul

#1
10

User AxiomCrisis

Inconsistency

@AxiomCrisis

#2
7

User mbrcknl

Matthew Brecknell

@mbrcknl

#3
6

User mukeshtiwari

Mukesh Tiwari

@mukeshtiwari

#4
2

User amblafont

Ambroise

@amblafont

#5
2

User domdere

Dom De Re

@domdere

#6
2

User puffnfresh

Brian McKenna

@puffnfresh

#7
1

User mariovisic

Mario Visic

@mariovisic

#8
1

User AnthonyKenny98

Anthony Kenny

@AnthonyKenny98

#9
1