StackRating
An Elo-based rating system for Stack Overflow
Answers and rating deltas for
Automatically deriving Provable for predicates over records in SBV
| Author | Votes | Δ |
|---|---|---|
| Daniel Wagner | 1 | +0.30 |
| alias | 0 | -2.43 |
Last visited: Jan 10, 2017, 7:57:02 AM