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