StackRating
An Elo-based rating system for Stack Overflow
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 |