StackRating
An Elo-based rating system for Stack Overflow
Answers and rating deltas for
TLC model checker doesn't terminate on an and/or list version of formula
| Author | Votes | Δ |
|---|---|---|
| Hovercouch | 3 | +3.73 |
| M.K. | 1 | -3.73 |
Last visited: Sep 5, 2020, 12:36:14 PM