StackRating
An Elo-based rating system for Stack Overflow
Answers and rating deltas for
Why won't Isabelle simplify the body of my "if _ then _ else" construct?
| Author | Votes | Δ |
|---|---|---|
| davidg | 5 | +3.96 |
| chris | 4 | +2.01 |
| Lars Noschinski | 3 | -1.65 |
| Lars Noschinski | 3 | -1.65 |
Last visited: Sep 14, 2014, 5:07:29 AM