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

SK19

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

0
answers
1
question
~108
people reached
  • Mayence, Germany
  • Member for 1 year, 5 months
  • 4 profile views
  • Last seen May 10 at 16:10

Top tags (4)

Score 0
Posts 1
Posts % 100
Score 0
Posts 1
Score 0
Posts 1
Score 0
Posts 1

Top posts (1) All Questions Answers | Votes Newest

Badges (6)

Gold

Silver

1

Rarest

Bronze

5

Rarest