StackRating
An Elo-based rating system for Stack Overflow
Answers and rating deltas for
Unfold anonymous function in Coq proof
| Author | Votes | Δ |
|---|---|---|
| Arthur Azevedo De Amorim | 2 | +3.89 |
| Vinz | 1 | -3.89 |
Last visited: Apr 29, 2015, 4:13:04 PM