StackRating
An Elo-based rating system for Stack Overflow
Answers and rating deltas for
Z3 Python: Code produces wrong result with ForAll, why?
| Author | Votes | Δ |
|---|---|---|
| Juan Ospina | 1 | +4.05 |
| Vladimir Klebanov | 0 | -2.09 |
| Juan Ospina | 0 | -1.95 |
Last visited: Sep 14, 2014, 5:07:29 AM