Skip to main content
Database Administrators
SK19's user avatar
SK19's user avatar
SK19's user avatar
SK19
  • Member for 11 months
  • Last seen more than a month ago
  • Mayence, Germany
Profile Activity
Stats
101
reputation
78
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.
3
bronze badges
Top tags
0
Score
2
Posts
100
Posts %
0
Score
2
Posts
100
Posts %
0
Score
2
Posts
100
Posts %
0
Score
2
Posts
100
Posts %
0
Score
2
Posts
100
Posts %
Top posts
question
0
Move row of a table to an inherited table in PostgreSQL
Dec 23, 2023
answer
0
Move row of a table to an inherited table in PostgreSQL
Dec 23, 2023
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?
15
Getting to know the Mizar Mathematical Library
13
Reject a paper based on relevant but pointless research direction