StackRating
An Elo-based rating system for Stack Overflow
Answers and rating deltas for
Declaring implicit arguments in Coq: how many underscores are needed?
| Author | Votes | Δ |
|---|---|---|
| flockshade | 4 | +4.11 |
| Arthur Azevedo De Amorim | 2 | -4.11 |
Last visited: Apr 29, 2015, 5:13:45 PM