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 amblafont

Ambroise

@amblafont

#4
2

User domdere

Dom De Re

@domdere

#5
2

User AnthonyKenny98

Anthony Kenny

@AnthonyKenny98

#6
1