StackRating
An Elo-based rating system for Stack Overflow
Answers and rating deltas for
Unexpected effect of smt.arith.nl.gb on reasoning with (syntactic) equality - bug?
| Author | Votes | Δ |
|---|---|---|
| Christoph Wintersteiger | 2 | 0.00 |
Last visited: Apr 29, 2015, 6:50:13 PM