Stack Exchange Network

Stack Exchange network consists of 174 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange
328
reputation
1
16

SK19

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

15
answers
5
questions
~15k
people reached
  • Mayence, Germany
  • Member for 8 months
  • 31 profile views
  • Last seen Sep 29 '18 at 18:28

Top Tags (15)

Score 3
Posts 7
Posts % 35
Score 3
Posts 2
Score 3
Posts 1
Score 1
Posts 1
Score 1
Posts 1
Score 0
Posts 4

Top Posts (20) All Questions Answers | Votes Newest

View all questions and answers

Badges (17)

Gold

Silver

1

Rarest

Bronze

16

Rarest