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
  • Lyon, France
  • Member for 8 years, 3 months
  • 101 profile views
  • Last seen Dec 8 at 17:39

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