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

SK19

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

15
answers
5
questions
~18k
people reached
  • Mayence, Germany
  • Member for 11 months
  • 38 profile views
  • Last seen Apr 3 at 13:50

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