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 (5,611 total users)

All Time

Type to find users:

Jason Rute

1 25 61
member for: 3 years, 10 months

#1 all time rank

13,112 all time reputation

Andrej Bauer

29 74
member for: 3 years, 10 months

#2 all time rank

13,050 all time reputation

Meven Lennon-Bertrand

1 12 35
member for: 3 years, 10 months

#3 all time rank

7,191 all time reputation

ice1000

1 12 69
member for: 3 years, 10 months

#4 all time rank

6,848 all time reputation

Trebor

1 10 42
member for: 3 years, 10 months

#5 all time rank

4,792 all time reputation

Greg Nisbet

9 38
member for: 3 years, 10 months

#6 all time rank

4,017 all time reputation

Mike Shulman

8 36
member for: 3 years, 10 months

#7 all time rank

3,470 all time reputation

tinlyx

1 9 38
member for: 3 years, 10 months

#8 all time rank

3,370 all time reputation

Guy Coder

1 13 39
member for: 3 years, 10 months

#9 all time rank

2,876 all time reputation

Li-yao Xia

7 15
member for: 3 years, 10 months

#10 all time rank

2,802 all time reputation

Kevin Buzzard

13 21
member for: 3 years, 10 months

#11 all time rank

2,755 all time reputation

Couchy

2 11 39
member for: 3 years, 10 months

#12 all time rank

2,604 all time reputation

Pierre-Marie Pédrot

12 18
member for: 3 years, 10 months

#13 all time rank

2,468 all time reputation

Neel Krishnaswami

7 17
member for: 3 years, 10 months

#14 all time rank

2,153 all time reputation

András Kovács

10 17
member for: 3 years, 10 months

#15 all time rank

2,127 all time reputation

Joachim Breitner

10 26
member for: 3 years, 10 months

#16 all time rank

2,104 all time reputation

Mario Carneiro

9 14
member for: 3 years, 10 months

#17 all time rank

1,976 all time reputation

Alex Nelson

7 23
member for: 3 years, 10 months

#18 all time rank

1,843 all time reputation

Jean Abou Samra

3 12
member for: 2 years, 10 months

#19 all time rank

1,805 all time reputation

Sebastian Ullrich

10 16
member for: 3 years, 10 months

#20 all time rank

1,792 all time reputation

Jason Gross

5 15
member for: 3 years, 10 months

#21 all time rank

1,729 all time reputation

Loïc Pujet

11 16
member for: 3 years, 10 months

#22 all time rank

1,589 all time reputation

Agnishom Chattopadhyay

7 20
member for: 3 years, 10 months

#23 all time rank

1,570 all time reputation

It'sNotALie.

7 19
member for: 3 years, 10 months

#24 all time rank

1,485 all time reputation

taylor.2317

9 38
member for: 3 years, 10 months

#25 all time rank

1,388 all time reputation

Namdak Tönpa

8 26
member for: 3 years, 10 months

#26 all time rank

1,337 all time reputation

gallais

5 12
member for: 3 years, 10 months

#27 all time rank

1,284 all time reputation

Michael Norrish

7 16
member for: 3 years, 10 months

#28 all time rank

1,257 all time reputation

Ricky

1 6 13
member for: 3 years, 10 months

#29 all time rank

1,238 all time reputation

Nike Dattani

14 30
member for: 3 years, 10 months

#30 all time rank

1,215 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.