StackRating
An Elo-based rating system for Stack Overflow
Answers and rating deltas for
Isabelle's Simplifier: How does it choose which rules to apply? [Specific Example]
Author | Votes | Δ |
---|---|---|
Pedro | 1 | +4.36 |
Manuel Eberl | 0 | -4.36 |
Last visited: Jun 24, 2017, 4:03:14 PM