Mathematics
SK19's user avatar
SK19's user avatar
SK19's user avatar
SK19
  • Member for 6 years
  • Last seen more than 3 years ago
  • Mayence, Germany
Profile Activity
Stats
3,096
reputation
791
reached
0
answers
2
questions
Communities
View all
About

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

Badges
View all badges
This user doesn’t have any gold badges yet.
6
silver badges
10
bronze badges
Top tags
0
Score
2
Posts
100
Posts %
0
Score
1
Posts
50
Posts %
0
Score
1
Posts
50
Posts %
Top posts
All Questions Answers
Score Newest
question
18
Would a question-series to understand a selected paper be on-topic?
May 10, 2018
question
-9
Why has the captcha targeted me? Are helpful robots bad?
Feb 23, 2018
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

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.