StackRating
An Elo-based rating system for Stack Overflow
Answers and rating deltas for
Using contextual information in Coq pattern matching
| Author | Votes | Δ |
|---|---|---|
| Arthur Azevedo De Amorim | 3 | +4.32 |
| Ptival | 2 | -0.37 |
Last visited: Apr 29, 2015, 3:28:00 PM