StackRating
An Elo-based rating system for Stack Overflow
Answers and rating deltas for
How to do induction on the length of a list in Coq?
| Author | Votes | Δ |
|---|---|---|
| Yves | 6 | +1.92 |
| James Wilcox | 6 | +2.01 |
| ejgallego | 3 | -0.49 |
Last visited: Nov 23, 2017, 6:20:18 PM