StackRating
An Elo-based rating system for Stack Overflow
Answers and rating deltas for
Cannot guess decreasing argument of fix for nested match in Coq
| Author | Votes | Δ |
|---|---|---|
| Anton Trunov | 2 | +0.45 |
| larsr | 0 | -3.63 |
Last visited: Aug 18, 2017, 10:31:59 PM