StackRating
An Elo-based rating system for Stack Overflow
Answers and rating deltas for
Prove that n times an even number yields an even number in Agda
Author | Votes | Δ |
---|---|---|
Jesper | 4 | +4.02 |
Thorsten Altenkirch | 2 | -4.02 |
Last visited: Jan 9, 2018, 5:29:34 PM