Tour
About Us
Meta
Loading…
current community
Stack Exchange
chat
Meta Stack Exchange
your communities
Sign up
or
log in
to customize your list.
more stack exchange communities
company blog
Log in
Stack Exchange
All Sites
Top Users
Digests
yhirai
Tsukuba-shi, Japan
top
accounts
reputation
activity
bookmarks
subscriptions
Top Questions
14
votes
How to define a function inductively on two arguments in Coq?
interactive-proofs
proof-assistants
coq
asked Sep 30, 2010 at 9:20
cstheory.stackexchange.com
5
votes
Is there a bitcoin market for CPU time / memory space / disk space?
cpu
marketplace
diskspace
asked Dec 8, 2012 at 6:36
bitcoin.stackexchange.com
Top Answers
18
Is there a reasonable automated proof system for TCS theorems?
cstheory.stackexchange.com
15
What is the theoretical basis of imperative programming?
cstheory.stackexchange.com
15
The many ways to write {かっこいい}
japanese.stackexchange.com
13
Proof assistant for writing mathematics
cstheory.stackexchange.com
13
What kind of Japanese is this?
japanese.stackexchange.com
9
How should I think about proof nets?
cstheory.stackexchange.com
9
Is this seat being chased, or is the person in it being chased from it?
japanese.stackexchange.com
9
What is formal verification, and why is it important for smart contracts?
ethereum.stackexchange.com
8
What to say after someone sneezes
japanese.stackexchange.com
6
Eliminating cofix in Coq proof
cstheory.stackexchange.com
6
How to thank somebody for their hospitality?
japanese.stackexchange.com
Stack Exchange works best with JavaScript enabled