Theoretical Computer Science
xywang's user avatar
xywang's user avatar
xywang's user avatar
xywang
  • Member for 8 years, 5 months
  • Last seen more than 4 years ago
  • Shanghai, China
Profile Activity
Stats
159
reputation
528
reached
0
answers
2
questions
Communities
View all
About

I'm a workless student and have no idea of what I'm doing right now.

Badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
5
bronze badges
Top tags
0
Score
1
Posts
50
Posts %
0
Score
1
Posts
50
Posts %
0
Score
1
Posts
50
Posts %
Top posts
All Questions Answers
Score Newest
question
3
Why do non-proper types have no terms?
Jun 11, 2015
question
0
Is there an algorithm to generate proof in Coq? [closed]
Jul 31, 2015
Top network posts
View all network posts
12
Fail to use let-destruct for tuple in Coq
10
How to disable my custom notation in Coq?
7
How to destruct pair equivalence in Coq?
7
How to instantiate a variable of forall in a hypothesis in Coq?
7
What does 'TS val' mean in tcpdump's output?

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.