Ask Ubuntu
SK19's user avatar
SK19's user avatar
SK19's user avatar
SK19
  • Member for 1 year, 6 months
  • Last seen more than 1 year ago
  • Mayence, Germany
Profile Activity
Stats
131
reputation
2k
reached
1
answer
1
question
Communities
View all
About

Writing Mizar articles for fun and the Q.E.D. manifesto.

Badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
7
bronze badges
Top tags
1
Score
2
Posts
100
Posts %
1
Score
2
Posts
100
Posts %
1
Score
2
Posts
100
Posts %
Top posts
question
2
Unsupported Wine version when trying to run Overwatch 2 on Lutris
Oct 5, 2022
answer
1
Unsupported Wine version when trying to run Overwatch 2 on Lutris
Oct 8, 2022
Top network posts
View all network posts
35
How serious can this review invitation be?
22
Is mathematics just a bunch of nested empty sets?
15
Is it wise to try to remove myself from predator mailinglists?
13
Getting to know the Mizar Mathematical Library
13
Reject a paper based on relevant but pointless research direction