jmc

Member for 12 years, 9 months
Last seen more than 4 years ago

math.commelin.net
Germany

Summary

Reputation

5,484

Next tag badge

5/100 score

1/20 answers

Badges

12

6

Newest

Yearling

Next badge

0/1

Excavator

Impact

~2k

people reached

0

posts edited

0

helpful flags

19

votes cast

Questions

13

Should/may I delete this flawed question?

Jul 2, 2014

4

Should I flag this question as spam?

Nov 23, 2013

Answers

5

Formatting citations to the literature on MathOverflow

Feb 17, 2014

Badges

View all badges

This user doesn’t have any gold badges yet.

12

silver badges

Yearling

× 12

Feb 29

6

bronze badges

Scholar

Nov 26, 2013
Teacher

Feb 19, 2014
Student

Nov 23, 2013

Tags

discussion

5

Score

2

posts

citations

5

Score

1

post

user-interface

5

Score

1

post

support

0

Score

1

post

spam

0

Score

1

post

Accounts

View all 17 accounts

5,484
27
60

1,680
1
12
20

Proof Assistants

786
4
13

458
4
13

366
1
7

Votes cast

19

upvotes

6

question votes

13

answer votes