StackRating
An Elo-based rating system for Stack Overflow
Answers and rating deltas for
Rewriting with non-equality equivalence-relations using Isabelle simplifier
| Author | Votes | Δ |
|---|---|---|
| Andreas Lochbihler | 3 | +3.44 |
| Dominique Unruh | 0 | -1.72 |
| Dominique Unruh | 0 | -1.72 |
Last visited: Nov 18, 2015, 10:48:54 AM