Badge

 Teacher Answered first question with score of 1 or more.

C. A. McCann earned this badge

jun 3 '11 at 19:41
“A proof is a program; the formula it proves is a type for the program”

Others with this badge