StackRating
An Elo-based rating system for Stack Overflow
Answers and rating deltas for
Default implementations in coq’s Modules
| Author | Votes | Δ |
|---|---|---|
| Konstantin Weitz | 1 | +4.33 |
| autorewrite | 0 | -4.33 |
Last visited: May 1, 2015, 7:17:52 PM