StackRating
An Elo-based rating system for Stack Overflow
Answers and rating deltas for
How to handle "Forall (closed_wrt_vars (eq _z')) P " goals in VST?
| Author | Votes | Δ |
|---|---|---|
| Andrew Appel | 1 | +3.96 |
| Andrew Appel | 0 | -2.04 |
| Necto | 0 | -1.92 |
Last visited: Apr 29, 2015, 3:43:46 PM