StackRating
An Elo-based rating system for Stack Overflow
Answers and rating deltas for
Replace subexpression in equality proof in Idris
| Author | Votes | Δ |
|---|---|---|
| user1747134 | 1 | +4.31 |
| erisco | 0 | -0.54 |
Last visited: Mar 18, 2017, 3:47:39 AM