StackRating

An Elo-based rating system for Stack Overflow
Home   |   About   |   Stats and Analysis   |   Get a Badge
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