Help Center > Badges

 Nice Answer Answer score of 10 or more. This badge can be awarded multiple times.

Petr Pudlák earned this badge 2 times
jan 25 at 17:19
Lambda Calculus simplification
sep 2 at 3:20
Free variables of (λx.xy)x and bound variables of λxy.x

Others with this badge