StackRating
An Elo-based rating system for Stack Overflow
Answers and rating deltas for
Why can't Z3 propose a sort with no elements?
Author | Votes | Δ |
---|---|---|
Nikolaj Bjorner | 2 | 0.00 |
Last visited: Jul 31, 2017, 8:17:33 AM
Author | Votes | Δ |
---|---|---|
Nikolaj Bjorner | 2 | 0.00 |