StackRating
An Elo-based rating system for Stack Overflow
Answers and rating deltas for
Inductive type constructed by a list of that type in Lean
| Author | Votes | Δ |
|---|---|---|
| Sebastian Ullrich | 4 | +3.63 |
| gallais | 2 | -0.45 |
Last visited: Feb 17, 2017, 12:28:21 AM