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,838
reputation
1
46
86

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.

284
answers
1
question
~342k
people reached

Top tags (159)

Score 390
Posts 68
Posts % 24
Score 367
Posts 54
Score 302
Posts 42
Score 293
Posts 47
Score 238
Posts 32
Score 237
Posts 42

Top posts (285) All Questions Answers | Votes Newest

View all questions and answers

Badges (133)

Gold

1

Rarest

Silver

46

Rarest

Bronze

86

Rarest