Skip to main content
SK19's user avatar
SK19's user avatar
SK19's user avatar
SK19
  • Member for 6 years
  • Last seen more than a month ago
  • Mayence, Germany
Stats
498
reputation
60k
reached
15
answers
4
questions
Loading…
About

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

1
gold badge
5
silver badges
21
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