StackRating
An Elo-based rating system for Stack Overflow
Answers and rating deltas for
I need a working tutorial on Isabelle and Sledgehammer
| Author | Votes | Δ |
|---|---|---|
| Joe Dudepavlachenski | 1 | +4.02 |
| Manuel Eberl | 0 | -4.02 |
Last visited: Nov 18, 2015, 4:24:13 AM