Skip to main content
MathOverflow
Adam Topaz's user avatar
Adam Topaz's user avatar
Adam Topaz's user avatar
Adam Topaz
  • Member for 2 years, 3 months
  • Last seen more than 1 year ago
Profile Activity
Stats
166
reputation
2k
reached
2
answers
0
questions
Communities
Badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
3
bronze badges
Top tags
15
Score
2
Posts
100
Posts %
8
Score
1
Posts
50
Posts %
8
Score
1
Posts
50
Posts %
7
Score
1
Posts
50
Posts %
Top posts
answer
8
Hypercovers consisting of finite sets
Sep 16, 2022
answer
7
Condensed mathematics
Sep 5, 2022
Top network posts
View all network posts
11
Representing $\Bbb RP^2$ in Lean: building a type representing a particular set