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