StackRating

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

Proving st X + st Y = st Y + (st X - 1) + 1 using Coq

Author Votes Δ
Atsby 2 +3.48
Adam 0 -3.48
Last visited: Nov 18, 2015, 11:53:24 AM