Stack Exchange Network

Stack Exchange network consists of 174 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
616
reputation
4
6

Marc

I'm very interested in type theory.

3
answers
0
questions
~5k
people reached

Top Tags (8)

Score 27
Posts 1
Posts % 33
Score 27
Posts 1
Score 27
Posts 1
Score 12
Posts 1
Score 12
Posts 1
Score 8
Posts 1

Top Posts (3) All Questions Answers | Votes Newest

Badges (10)

Gold

Silver

4

Rarest

Bronze

6

Rarest