SK19
  • Mayence, Germany
  • Member for 3 years, 5 months
Stats
478
reputation
43k
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