StackRating
An Elo-based rating system for Stack Overflow
Answers and rating deltas for
Lean complains it can't see that a statement is decidable
Author | Votes | Δ |
---|---|---|
Sebastian Ullrich | 2 | +3.85 |
user3078439 | 0 | -3.85 |
Last visited: Sep 9, 2016, 5:08:35 AM