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
349
reputation
1
19

SK19

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

15
answers
5
questions
~17k
people reached
  • Mayence, Germany
  • Member for 10 months
  • 35 profile views
  • Last seen Feb 1 at 22:44

Top Tags (15)

Score 5
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 (20)

Gold

Silver

1

Rarest

Bronze

19

Rarest