Theoretical Computer Science
yhirai
  • Member for 11 years, 3 months
  • Last seen more than 10 years ago
  • Tsukuba-shi, Japan
Profile Activity
Stats
963
reputation
247
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 Articles
Votes Newest
10
Questions about compilation errors in Coq
Sep 30 '10
1
What should our site/domain name be?
Sep 7 '10
Top network posts
View all network posts
18
Is there a reasonable automated proof system for TCS theorems?
15
What is the theoretical basis of imperative programming?
15
The many ways to write {かっこいい}
14
How to define a function inductively on two arguments in Coq?
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.