StackRating
An Elo-based rating system for Stack Overflow
Answers and rating deltas for
How to add to both sides of an equality in Coq
| Author | Votes | Δ |
|---|---|---|
| Vinz | 3 | +0.53 |
| Anton Trunov | 1 | -0.15 |
| eponier | 0 | -4.05 |
Last visited: Aug 26, 2016, 2:34:25 PM