Travel
Pushpa's user avatar
Pushpa's user avatar
Pushpa's user avatar
Pushpa
  • Member for 6 years, 3 months
  • Last seen more than a month ago
Profile Activity
Stats
203
reputation
21k
reached
0
answers
3
questions
Communities
View all
Badges
View all badges
1
gold badge
3
silver badges
8
bronze badges
Top tags
View all tags
0
Score
2
Posts
67
Posts %
0
Score
2
Posts
67
Posts %
0
Score
1
Posts
33
Posts %
0
Score
1
Posts
33
Posts %
0
Score
1
Posts
33
Posts %
0
Score
1
Posts
33
Posts %
Top posts
All Questions Answers
Score Newest
question
4
Need a visa to transit through South Korea?
May 29, 2017
question
3
Do I require transit visa for Kuwait
Aug 19, 2017
question
1
How long does it take to get a Netherlands visa?
Jun 14, 2017
Top network posts
View all network posts
21
Difference between Dependent type , refinement type and Hoare Logic
17
Strict positivity
15
What is the best path to learn Category theory and Type theory?
7
Checking formulas with two quantifiers ($\forall \exists$) - 2QBF
6
Types are erased before run time

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.