Stack Exchange Network

Stack Exchange network consists of 175 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
1,604
reputation
3
30

SK19

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

80
answers
15
questions
~24k
people reached
  • Mayence, Germany
  • Member for 1 year, 4 months
  • 214 profile views
  • Last seen 18 hours ago

Top Tags (83)

Score 16
Posts 15
Posts % 16
Score 7
Posts 8
Score 7
Posts 5
Score 7
Posts 5
Score 6
Posts 5
Score 4
Posts 14

Top Posts (95) All Questions Answers | Votes Newest

View all questions and answers

Badges (33)

Gold

Silver

3

Rarest

Bronze

30

Rarest