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