StackRating
An Elo-based rating system for Stack Overflow
Answers and rating deltas for
Is it possible to prove mathematical statements including factorials with z3?
| Author | Votes | Δ |
|---|---|---|
| Nikolaj Bjorner | 1 | +0.30 |
| Robert Dodier | 1 | +0.34 |
| Jeronimo | 0 | -2.59 |
| magma | 0 | -2.53 |
Last visited: Jun 24, 2017, 4:03:14 PM