MathOverflow
user3840170's user avatar
user3840170's user avatar
user3840170's user avatar
user3840170
  • Member for 6 years, 10 months
  • Last seen more than a week ago
  • Europe
Profile Activity
Stats
182
reputation
20k
reached
1
answer
1
question
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
1
silver badge
12
bronze badges
Top tags
0
Score
2
Posts
100
Posts %
0
Score
1
Posts
50
Posts %
0
Score
1
Posts
50
Posts %
0
Score
1
Posts
50
Posts %
Top posts
All Questions Answers
Score Newest
answer
16
Interesting examples of vacuous / void entities
May 6, 2020
question
6
Inductive type constructors with the defined type appearing in non-strictly positive position
Jul 18, 2020
Top network posts
View all network posts
108
Why didn't Windows 98 need the "Starting Windows 98..." screen?
92
The Stack Exchange reputation system: What's working? What's not?
69
Why does Windows 1.01 crash at the splash screen?
64
Why does DOS ask for the current date and time upon booting?
57
Did INI files work in a different way on Windows 3.x than today?

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.