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
19,707
reputation
1
44
84

Andrej Bauer

I am a professional mathematician. My area of research is logic, constructive and computable mathematics, category theory, type theory, homotopy type theory, and semantics of programming languages.

269
answers
1
question
~316k
people reached

Top Tags (154)

Score 371
Posts 66
Posts % 24
Score 339
Posts 49
Score 295
Posts 42
Score 275
Posts 43
Score 227
Posts 39
Score 227
Posts 30

Top Posts (270) All Questions Answers | Votes Newest

View all questions and answers

Badges (129)

Gold

1

Rarest

Silver

44

Rarest

Bronze

84

Rarest