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
20,372
reputation
1
45
85

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.

279
answers
1
question
~329k
people reached

Top Tags (158)

Score 378
Posts 67
Posts % 24
Score 353
Posts 53
Score 299
Posts 42
Score 287
Posts 45
Score 232
Posts 31
Score 230
Posts 40

Top Posts (280) All Questions Answers | Votes Newest

View all questions and answers

Badges (131)

Gold

1

Rarest

Silver

45

Rarest

Bronze

85

Rarest