The Stack Overflow podcast is back! Listen to an interview with our new CEO.
368
reputation
1
3
20

SK19

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

15
answers
4
questions
~25k
people reached
  • Mayence, Germany
  • Member for 1 year, 5 months
  • 55 profile views
  • Last seen Aug 2 at 9:51

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 0
Posts 4

Top posts (19) All Questions Answers | Votes Newest

View all questions and answers

Badges (24)

Gold

1

Rarest

Silver

3

Rarest

Bronze

20

Rarest