StackRating
An Elo-based rating system for Stack Overflow
Answers and rating deltas for
Best way to perform universal instantiation in Coq
Author | Votes | Δ |
---|---|---|
Ptival | 4 | +1.27 |
max taldykin | 2 | -0.72 |
Virgile | 1 | -4.37 |
Last visited: May 1, 2015, 9:59:39 PM