Top users by languages

Lean

Back to languages list

leanprover-community

@leanprover-community

#1
1 359

Lean

@leanprover

#2
1 141

Imperial College London

@ImperialCollegeLondon

#3
457

#4
389

Kevin Buzzard

@kbuzzard

#6
243

#8
75

#9
74

#10
65

Scott Morrison

@semorrison

#11
60

Joey Dodds

@jldodds

#12
51

Galois, Inc.

@GaloisInc

#13
50

Jesse Michael Han

@jesse-michael-han

#14
44

#15
44

cmu-phil

@cmu-phil

#16
39

Reid Barton

@rwbarton

#18
37

Microsoft

@microsoft

#19
30

OpenAI

@openai

#20
25

igithublab

@igithublab

#21
22

#22
21

#23
21

Google

@google

#24
20

Kevin Sullivan

@kevinsullivan

#25
20