SK19's user avatar
SK19's user avatar
SK19's user avatar
SK19
  • Member for 6 years
  • Last seen this week
  • Mayence, Germany
Stats
3,096
reputation
78k
reached
102
answers
41
questions
Loading…
About

Writing Mizar articles for fun and the Q.E.D. manifesto.

This user doesn’t have any gold badges yet.
10
silver badges
35
bronze badges
22
Score
42
Posts
29
Posts %
21
Score
19
Posts
13
Posts %
12
Score
7
Posts
5
Posts %
8
Score
8
Posts
6
Posts %
7
Score
10
Posts
7
Posts %
3
Score
8
Posts
6
Posts %
Top posts
View all questions and answers