StackRating

An Elo-based rating system for Stack Overflow
Home   |   About   |   Stats and Analysis   |   Get a Badge
Rating Stats for

Joe_Tempenski_w_Bogus_Email

Rating
1500.19 (482,432nd)
Reputation
16 (1,735,803rd)
Page: 1
Title Δ
Substituting for the lambda expression in Isabelle +0.19