SK19
  • Member for 3 years, 8 months
  • Last seen more than a month ago
  • Mayence, Germany
Stats
478
reputation
44k
reached
15
answers
4
questions
Loading…
About

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

1
gold badge
4
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