StackRating
An Elo-based rating system for Stack Overflow
Answers and rating deltas for
In coq, how to do "induction n eqn: Hn" in a way that doesn't mess up the inductive...
| Author | Votes | Δ |
|---|---|---|
| Vinz | 1 | +2.20 |
| Anthony Towns | 1 | +1.79 |
| Matt | 0 | -3.99 |
Last visited: Nov 11, 2015, 8:55:54 PM