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”

Others with this badge