StackRating
An Elo-based rating system for Stack Overflow
Answers and rating deltas for
Proof with false hypothesis in Isabelle/HOL Isar
| Author | Votes | Δ |
|---|---|---|
| Manuel Eberl | 4 | +3.78 |
| Unregidude151229a | 1 | -3.78 |
Last visited: Mar 28, 2016, 5:10:19 PM