StackRating
An Elo-based rating system for Stack Overflow
Answers and rating deltas for
What's the difference between revert and generalize tactics in Coq?
Author | Votes | Δ |
---|---|---|
Anton Trunov | 3 | +3.73 |
Vinz | 0 | -0.47 |
Last visited: Sep 26, 2016, 7:51:43 AM