Area 51
k4rtik
  • Member for 9 days
  • Last seen this week
Profile Activity
Stats
211
reputation
755
reached
2
answers
0
questions
Communities
View all
Badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
5
bronze badges
Top tags
15
Score
2
Posts
100
Posts %
2
Score
1
Posts
50
Posts %
2
Score
1
Posts
50
Posts %
Top posts
All Questions Answers Articles
Votes Newest
13
Choosing a name for the Proof assistants site
Nov 21
2
Are automatic theorem provers on-topic?
Nov 23
Top network posts
View all network posts
20
Amazon Kindle Paperwhite 2 - Reading progress line has disappeared
7
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.