StackRating
An Elo-based rating system for Stack Overflow
Answers and rating deltas for
Equality in COQ for enumerated types
| Author | Votes | Δ |
|---|---|---|
| eponier | 3 | +3.79 |
| Konstantin Weitz | 1 | -3.79 |
Last visited: Feb 12, 2016, 9:42:28 PM
| Author | Votes | Δ |
|---|---|---|
| eponier | 3 | +3.79 |
| Konstantin Weitz | 1 | -3.79 |