Skip to main content
Proof Assistants Meta
Andrej Bauer's user avatar
Andrej Bauer's user avatar
Andrej Bauer's user avatar
Andrej Bauer
  • Member for 2 years, 7 months
  • Last seen more than a month ago
Profile Activity
Stats
9,921
reputation
536
reached
1
answer
2
questions
Communities
View all
About

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.

Badges
View all badges
This user doesn’t have any gold badges yet.
2
silver badges
6
bronze badges
Top tags
View all tags
19
Score
3
Posts
100
Posts %
19
Score
1
Posts
33
Posts %
19
Score
1
Posts
33
Posts %
19
Score
1
Posts
33
Posts %
0
Score
1
Posts
33
Posts %
0
Score
1
Posts
33
Posts %
Top posts
answer
19
Is this for assistants only, excluding automated provers?
Feb 11, 2022
question
17
Are SE "power users" trying to seed the site with "interesting questions"?
Feb 8, 2022
question
0
Are we out of beta yet?
Mar 9
Top network posts
View all network posts
430
Why do roots of polynomials tend to have absolute value close to 1?
232
What makes dependent type theory more suitable than set theory for proof assistants?
158
How to present mathematics to non-mathematicians?
121
Axiom of choice, Banach-Tarski and reality
101
Au revoir, law of excluded middle?