Stack Exchange
log in
chat
meta
about
Stack Exchange
All Sites
Hot Questions
Top Users
Newsletters
Blogs
yhirai
Tokyo, Japan
Age: 28
top
accounts
reputation
activity
favorites
subscriptions
Top Questions
8
votes
How to define a function inductively on two arguments in Coq?
interactive-proofs
proof-assistants
coq
asked Sep 30 '10 at 9:20
cstheory.stackexchange.com
Top Answers
14
Is there a reasonable automated proof system for TCS theorems?
cstheory.stackexchange.com
11
What is the theoretical basis of imperative programming?
cstheory.stackexchange.com
11
Proof assistant for writing mathematics
cstheory.stackexchange.com
11
The many ways to write {かっこいい}
japanese.stackexchange.com
7
What to say after someone sneezes
japanese.stackexchange.com
6
Eliminating cofix in Coq proof
cstheory.stackexchange.com
6
How should I think about proof nets?
cstheory.stackexchange.com
Stack Exchange works best with JavaScript enabled
cstheory.stackexchange.com
japanese.stackexchange.com
