SK19's user avatar
SK19's user avatar
SK19's user avatar
SK19
  • Member for 4 years, 5 months
  • Last seen this week
  • Mayence, Germany
Stats
488
reputation
55k
reached
15
answers
4
questions
Loading…
About

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

1
gold badge
5
silver badges
20
bronze badges
7
Score
7
Posts
37
Posts %
3
Score
2
Posts
11
Posts %
3
Score
1
Posts
5
Posts %
1
Score
1
Posts
5
Posts %
1
Score
1
Posts
5
Posts %
1
Score
1
Posts
5
Posts %
Top posts
View all questions and answers