StackRating
An Elo-based rating system for Stack Overflow
Answers and rating deltas for
Short(er) proof of `forall n k, (forall q, n <> q * 3) -> n + n <> k * 3`
| Author | Votes | Δ |
|---|---|---|
| Yves | 7 | +4.10 |
| Arthur Azevedo De Amorim | 6 | +0.99 |
| Anton Trunov | 5 | +0.36 |
| Yves | 3 | -1.70 |
| ejgallego | 2 | -1.11 |
Last visited: Dec 4, 2017, 8:14:43 PM