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
4,324
reputation
5
32

Zimm i48

CS PhD student working on the Coq proof assistant.

I frequently contribute to open source projects and publish my own programs as free software. I try to encourage people to do the same and help them understand license meaning and respect other people work.

Also interested in crowdsourcing, and more generally mass collaboration using the Web, open science and open research.

Check out my blog!

95
answers
3
questions
~55k
people reached

Top tags (71)

Score 109
Posts 26
Posts % 27
Score 53
Posts 18
Score 42
Posts 8
Score 39
Posts 9
Score 34
Posts 12
Score 34
Posts 8

Top posts (98) All Questions Answers | Votes Newest

View all questions and answers

Badges (37)

Gold

Silver

5

Rarest

Bronze

32

Rarest