StackRating
An Elo-based rating system for Stack Overflow
Answers and rating deltas for
How to see step-by-step reasoning of Isabelle 'proofs'
| Author | Votes | Δ |
|---|---|---|
| Manuel Eberl | 2 | +4.02 |
| Ben Keks | 1 | +1.26 |
| Amateur | 0 | -2.74 |
| Gergely | 0 | -2.53 |
Last visited: Nov 10, 2015, 5:37:55 PM