Help Center > Badges

 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”

Others with this badge