StackRating

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

TempaLanceLotNoMore

Rating
1500.19 (482,433rd)
Reputation
1 (4,299,997th)
Page: 1
Title Δ
Substituting for the lambda expression in Isabelle +0.19