Area 51
k4rtik's user avatar
k4rtik's user avatar
k4rtik's user avatar
k4rtik
  • Member for 1 year, 10 months
  • Last seen more than a month ago
Profile Activity
Stats
211
reputation
2k
reached
2
answers
0
questions
Communities
View all
Badges
This user doesn’t have any gold badges yet.
2
silver badges
5
bronze badges
Top tags
28
Score
2
Posts
100
Posts %
28
Score
2
Posts
100
Posts %
1
Score
1
Posts
50
Posts %
Top posts
All Questions Answers
Score Newest
answer
27
Choosing a name for the Proof Assistants site
Nov 21, 2021
answer
1
Are automatic theorem provers on-topic?
Nov 23, 2021
Top network posts
View all network posts
20
Amazon Kindle Paperwhite 2 - Reading progress line has disappeared
8
Excluding some of the commands from being getting stored in bash history
5
Kindle PaperWhite Page turn glitches

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.