Badge
| Nice Answer | Answer score of 10 or more. This badge can be awarded multiple times. |
Yoichi Hirai earned this badge 3 times |
nov 15 at 10:29
Proof assistant for writing mathematics
mar 4 '11 at 1:11
Is there a reasonable automated proof system for TCS theorems?
nov 5 '10 at 20:59
What is the theoretical basis of imperative programming?
