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

Top tags (14)

Score 7
Posts 7
Posts % 37
Score 3
Posts 2
Score 3
Posts 1
Score 1
Posts 1
Score 1
Posts 1
Score 1
Posts 1

Top posts (19)

View all questions and answers