Andrej Bauer
This user has not participated in any tags
This user has not asked any questions
MathOverflow 41,937 rep 9 gold badges105 silver badges202 bronze badges
Computer Science 27,038 rep 1 gold badge63 silver badges105 bronze badges
Theoretical Computer Science 25,632 rep 1 gold badge68 silver badges116 bronze badges
Mathematics 2,614 rep 13 silver badges21 bronze badges
Stack Overflow 2,398 rep 16 silver badges25 bronze badges

Votes cast (0)

This user has not cast any votes