Movatterモバイル変換


[0]ホーム

URL:


Skip to main content
  1. Tour
  2. About Us
  3. Meta
Loading…

Stack Exchange

Top 400 Users

Proof Assistants Stack Exchange

Proof Assistants Stack Exchange

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

Year 2025

« prev year
Type to find users:
Sort by:

Jason Rute

12561
member for: 3 years, 9 monthslink
#1 year rank
0 change
12,942 total reputation
2,563 year reputation

Andrej Bauer

2873
member for: 3 years, 9 monthslink
#2 year rank
0 change
12,865 total reputation
1,555 year reputation

Jean Abou Samra

311
member for: 2 years, 9 monthslink
#3 year rank
+12 change
1,785 total reputation
1,278 year reputation

Meven Lennon-Bertrand

11034
member for: 3 years, 9 monthslink
#4 year rank
-1 change
7,141 total reputation
1,083 year reputation

Thomas Lamiaux

17
member for: 1 year, 5 monthslink
#5 year rank
+50 change
906 total reputation
805 year reputation

Tragicus

17
member for: 1 year, 3 monthslink
#6 year rank
+17 change
981 total reputation
660 year reputation

tinlyx

1937
member for: 3 years, 9 monthslink
#7 year rank
-2 change
3,340 total reputation
648 year reputation

Naïm Camille Favier

411
member for: 3 years, 9 monthslink
#8 year rank
+8 change
1,110 total reputation
564 year reputation

Li-yao Xia

715
member for: 3 years, 9 monthslink
#9 year rank
-3 change
2,792 total reputation
540 year reputation

Trebor

11042
member for: 3 years, 9 monthslink
#10 year rank
-3 change
4,772 total reputation
373 year reputation

Greg Nisbet

937
member for: 3 years, 9 monthslink
#11 year rank
-7 change
4,007 total reputation
366 year reputation

Matthieu Sozeau

24
member for: 1 yearlink
#12 year rank
+58 change
391 total reputation
320 year reputation

ice1000

11269
member for: 3 years, 9 monthslink
#13 year rank
-5 change
6,848 total reputation
306 year reputation

Paradoxy

5
member for: 10 monthslink
#14 year rank
not previously ranked
271 total reputation
270 year reputation

user4035

114
member for: 1 year, 2 monthslink
#15 year rank
+2 change
621 total reputation
250 year reputation

Couchy

21139
member for: 3 years, 9 monthslink
#16 year rank
+17 change
2,604 total reputation
244 year reputation

Jozef Mikušinec

318
member for: 3 years, 2 monthslink
#17 year rank
+10 change
800 total reputation
240 year reputation

Emily

5
member for: 38 dayslink
#18 year rank
not previously ranked
231 total reputation
230 year reputation

Dominique Larchey-Wendling

15
member for: 1 year, 8 monthslink
#19 year rank
-1 change
587 total reputation
228 year reputation

JoJoModding

39
member for: 3 years, 9 monthslink
#20 year rank
-11 change
844 total reputation
217 year reputation

Zlotz

10
member for: 11 monthslink
#21 year rank
+17 change
387 total reputation
216 year reputation

M B

18
member for: 2 years, 10 monthslink
#22 year rank
+43 change
333 total reputation
195 year reputation

Mike Shulman

836
member for: 3 years, 9 monthslink
#23 year rank
-3 change
3,440 total reputation
170 year reputation

Charlie Parker

215
member for: 3 years, 7 monthslink
#24 year rank
+11 change
551 total reputation
168 year reputation

djao

26
member for: 2 years, 9 monthslink
#25 year rank
-6 change
810 total reputation
160 year reputation

Luna's Chalkboard

29
member for: 3 years, 9 monthslink
#26 year rank
+69 change
471 total reputation
158 year reputation

Mario Carneiro

914
member for: 3 years, 9 monthslink
#27 year rank
-17 change
1,966 total reputation
157 year reputation

Ricky

1613
member for: 3 years, 9 monthslink
#28 year rank
+14 change
1,238 total reputation
155 year reputation

Joachim Breitner

1026
member for: 3 years, 9 monthslink
#29 year rank
+10 change
2,104 total reputation
140 year reputation

keep_learning

26
member for: 3 years, 9 monthslink
#30 year rank
+103 change
408 total reputation
140 year reputation
153050per page

When your fellow users vote up your questions and answers on a Stack Exchange site, you generatereputation. 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 friendlyreputation leagues are an informal way of tracking your reputation within the community on a particular Stack Exchange.

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



[8]ページ先頭

©2009-2025 Movatter.jp