| Nice Question | Question score of 10 or more. This badge can be awarded multiple times. |
Grigory Javadyan earned this badge |
jun 3 '11 at 11:21
“A proof is a program; the formula it proves is a type for the program”
| Nice Question | Question score of 10 or more. This badge can be awarded multiple times. |
Grigory Javadyan earned this badge |