user avatar
user avatar
user avatar
SK19
  • Member for 4 years, 5 months
  • Last seen this week
  • Mayence, Germany
Stats
2,785
reputation
58k
reached
99
answers
36
questions
Loading…
About

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

This user doesn’t have any gold badges yet.
7
silver badges
32
bronze badges
22
Score
6
Posts
4
Posts %
21
Score
42
Posts
31
Posts %
21
Score
19
Posts
14
Posts %
8
Score
8
Posts
6
Posts %
7
Score
9
Posts
7
Posts %
4
Score
8
Posts
6
Posts %
Top posts
View all questions and answers