|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:29Proof assistant for writing mathematics
mar 4 '11 at 1:11Is there a reasonable automated proof system for TCS theorems?
nov 5 '10 at 20:59What is the theoretical basis of imperative programming?