Theoretical Computer Science
yhirai's user avatar
yhirai's user avatar
yhirai's user avatar
yhirai
  • Member for 13 years, 3 months
  • Last seen more than 1 year ago
  • Tsukuba-shi, Japan
Profile Activity
Stats
963
reputation
275
reached
2
answers
0
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
4
silver badges
4
bronze badges
Top tags
10
Score
2
Posts
100
Posts %
10
Score
1
Posts
50
Posts %
0
Score
1
Posts
50
Posts %
0
Score
1
Posts
50
Posts %
Top posts
All Questions Answers
Score Newest
answer
10
Questions about compilation errors in Coq
Sep 30, 2010
answer
1
What should our site/domain name be?
Sep 7, 2010
Top network posts
View all network posts
18
Is there a reasonable automated proof system for TCS theorems?
15
How to define a function inductively on two arguments in Coq?
15
What is the theoretical basis of imperative programming?
15
The many ways to write {かっこいい}
13
Proof assistant for writing mathematics

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.