StackRating
An Elo-based rating system for Stack Overflow
Answers and rating deltas for
Free type variables in proof by induction
| Author | Votes | Δ |
|---|---|---|
| Andreas Lochbihler | 4 | +3.21 |
| Johannes | 3 | -1.21 |
Last visited: Mar 7, 2017, 5:22:09 AM