StackRating
An Elo-based rating system for Stack Overflow
Answers and rating deltas for
Why can't I call a (non-static) lemma from a ghost field in Dafny?
| Author | Votes | Δ |
|---|---|---|
| Rustan Leino | 3 | +3.85 |
| Julien | 0 | -2.00 |
| ssice | 0 | -1.85 |
Last visited: Jan 21, 2019, 6:41:23 AM