Badge
| Good Question | Question score of 25 or more. This badge can be awarded multiple times. |
Grigory Javadyan earned this badge |
nov 24 '11 at 11:11
“A proof is a program; the formula it proves is a type for the program”
| Good Question | Question score of 25 or more. This badge can be awarded multiple times. |
Grigory Javadyan earned this badge |