Skip to main content

Top 400 Users

Proof Assistants Stack Exchange

Proof Assistants Stack Exchange

Q&A for mathematicians and computer scientists who develop and use proof assistants (3,661 total users)

Year 2024

« prev year
Type to find users:
Sort by:

Jason Rute

1 18 54
member for: 2 years, 4 months
#1 year rank
0 change
8,925 total reputation
1,520 year reputation

Andrej Bauer

23 62
member for: 2 years, 4 months
#2 year rank
0 change
9,593 total reputation
1,242 year reputation

Meven Lennon-Bertrand

8 28
member for: 2 years, 4 months
#3 year rank
0 change
5,186 total reputation
943 year reputation

Hiroki Chen

9
member for: 5 months
#4 year rank
not previously ranked
420 total reputation
419 year reputation

ice1000

10 62
member for: 2 years, 4 months
#5 year rank
0 change
6,276 total reputation
389 year reputation

Li-yao Xia

5 11
member for: 2 years, 4 months
#6 year rank
+27 change
1,857 total reputation
340 year reputation

Trebor

1 8 39
member for: 2 years, 4 months
#7 year rank
-3 change
4,015 total reputation
327 year reputation

James Wood

4 17
member for: 2 years, 4 months
#8 year rank
+31 change
1,053 total reputation
295 year reputation

tinlyx

1 7 29
member for: 2 years, 4 months
#9 year rank
+2 change
2,126 total reputation
294 year reputation
#10 year rank
+71 change
421 total reputation
293 year reputation

Mike Shulman

6 34
member for: 2 years, 4 months
#11 year rank
+26 change
3,190 total reputation
268 year reputation

Kevin Buzzard

12 21
member for: 2 years, 4 months
#12 year rank
-4 change
2,480 total reputation
243 year reputation

Agnishom Chattopadhyay

6 20
member for: 2 years, 4 months
#13 year rank
+15 change
1,492 total reputation
241 year reputation

Bruno

1 6
member for: 1 year
#14 year rank
not previously ranked
229 total reputation
228 year reputation

Mario Carneiro

6 12
member for: 2 years, 4 months
#15 year rank
0 change
1,589 total reputation
225 year reputation

Chris Bailey

1 4
member for: 2 years, 4 months
#16 year rank
+62 change
361 total reputation
200 year reputation

Greg Nisbet

4 32
member for: 2 years, 4 months
#17 year rank
+51 change
2,879 total reputation
168 year reputation

djao

1 6
member for: 1 year, 4 months
#18 year rank
-5 change
464 total reputation
165 year reputation

gallais

4 12
member for: 2 years, 4 months
#19 year rank
+10 change
1,256 total reputation
150 year reputation

Charlie Parker

1 12
member for: 2 years, 2 months
#20 year rank
+85 change
333 total reputation
134 year reputation

Jozef Mikušinec

1 11
member for: 1 year, 9 months
#21 year rank
+70 change
411 total reputation
122 year reputation

Patrick Nicodemus

1 7
member for: 1 year, 9 months
#22 year rank
+91 change
252 total reputation
122 year reputation
#23 year rank
not previously ranked
1,026 total reputation
120 year reputation
#24 year rank
+8 change
287 total reputation
114 year reputation
#25 year rank
+29 change
701 total reputation
110 year reputation

Villetaneuse

1 3
member for: 1 year, 5 months
#26 year rank
+24 change
226 total reputation
110 year reputation

Anqur

1 5
member for: 2 years, 4 months
#27 year rank
+106 change
301 total reputation
110 year reputation

Alex Nelson

6 21
member for: 2 years, 4 months
#28 year rank
+65 change
1,574 total reputation
105 year reputation
#29 year rank
+13 change
876 total reputation
103 year reputation

Joachim Breitner

8 25
member for: 2 years, 4 months
#30 year rank
0 change
1,904 total reputation
100 year reputation
15 30 50 per page
1 2 3 4 5