User Reputation Leagues - Proof Assistants Stack Exchange - All Time

Top 400 Users

Week Month Quarter Year All Time

Proof Assistants Stack Exchange

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

All Time

Type to find users:

Andrej Bauer

23 62
member for: 2 years, 5 months

#1 all time rank

9,772 all time reputation

Jason Rute

1 18 54
member for: 2 years, 5 months

#2 all time rank

9,150 all time reputation

ice1000

10 63
member for: 2 years, 5 months

#3 all time rank

6,306 all time reputation

Meven Lennon-Bertrand

8 28
member for: 2 years, 5 months

#4 all time rank

5,530 all time reputation

Trebor

1 8 39
member for: 2 years, 5 months

#5 all time rank

4,025 all time reputation

Mike Shulman

6 34
member for: 2 years, 5 months

#6 all time rank

3,200 all time reputation

Greg Nisbet

6 33
member for: 2 years, 5 months

#7 all time rank

3,095 all time reputation

Ms. Molly Stewart-Gallus

7 23
member for: 2 years, 5 months

#8 all time rank

2,868 all time reputation

Guy Coder

1 12 38
member for: 2 years, 5 months

#9 all time rank

2,846 all time reputation

Kevin Buzzard

12 21
member for: 2 years, 5 months

#10 all time rank

2,500 all time reputation

Pierre-Marie Pédrot

9 18
member for: 2 years, 5 months

#11 all time rank

2,336 all time reputation

Couchy

2 9 39
member for: 2 years, 5 months

#12 all time rank

2,300 all time reputation

tinlyx

1 7 29
member for: 2 years, 5 months

#13 all time rank

2,220 all time reputation

András Kovács

9 17
member for: 2 years, 5 months

#14 all time rank

2,077 all time reputation

Neel Krishnaswami

5 17
member for: 2 years, 5 months

#15 all time rank

2,053 all time reputation

Li-yao Xia

5 11
member for: 2 years, 5 months

#16 all time rank

2,032 all time reputation

Joachim Breitner

8 25
member for: 2 years, 5 months

#17 all time rank

1,904 all time reputation

Sebastian Ullrich

9 16
member for: 2 years, 5 months

#18 all time rank

1,682 all time reputation

Mario Carneiro

6 12
member for: 2 years, 5 months

#19 all time rank

1,599 all time reputation

Alex Nelson

6 21
member for: 2 years, 5 months

#20 all time rank

1,574 all time reputation

Jason Gross

4 11
member for: 2 years, 5 months

#21 all time rank

1,547 all time reputation

Agnishom Chattopadhyay

6 20
member for: 2 years, 5 months

#22 all time rank

1,502 all time reputation

Loïc Pujet

10 16
member for: 2 years, 5 months

#23 all time rank

1,489 all time reputation

It'sNotALie.

6 19
member for: 2 years, 5 months

#24 all time rank

1,445 all time reputation

taylor.2317

8 36
member for: 2 years, 5 months

#25 all time rank

1,338 all time reputation

Namdak Tönpa

7 26
member for: 2 years, 5 months

#26 all time rank

1,297 all time reputation

gallais

4 12
member for: 2 years, 5 months

#27 all time rank

1,266 all time reputation

Nike Dattani

13 30
member for: 2 years, 5 months

#28 all time rank

1,165 all time reputation

Wno-all

5 21
member for: 2 years, 5 months

#29 all time rank

1,128 all time reputation

Michael Norrish

6 16
member for: 2 years, 5 months

#30 all time rank

1,112 all time reputation

15 30 50 per page

When your fellow users vote up your questions and answers on a Stack Exchange site, you generate reputation. Reputation is a rough measure of:

how much the community trusts you
your communication skills
the quality and relevancy of your questions and answers

These friendly reputation leagues are an informal way of tracking your reputation within the community on a particular Stack Exchange.

Reputation is capped at 200 per day, but remember that bounty awards and accepted answers are immune to this daily reputation cap.