Area 51
user avatar
user avatar
user avatar
Bubbler
  • Member for 3 years, 6 months
  • Last seen more than a month ago
  • 대한민국 경기도 Icheon
Profile Activity
Stats
320
reputation
985
reached
0
answers
2
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
2
silver badges
5
bronze badges
Top tags
0
Score
2
Posts
100
Posts %
0
Score
2
Posts
100
Posts %
0
Score
1
Posts
50
Posts %
Top posts
All Questions Answers
Score Newest
question
25
Are automatic theorem provers on-topic?
Nov 23, 2021
question
10
Are theorem proving challenges or code review questions on-topic?
Dec 17, 2021
Top network posts
View all network posts
51
Read out the C variable declaration
48
Minimally destroy CGCC in Game of Life
45
Simplify ijk-string
44
The vanilla factorial challenge
39
Concatenated halting problem: no + no + ... = yes

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.