StackRating
An Elo-based rating system for Stack Overflow
Answers and rating deltas for
Z3 model for correct Dafny method
| Author | Votes | Δ |
|---|---|---|
| Rustan Leino | 3 | +3.92 |
| Malte Schwerhoff | 1 | -0.49 |
Last visited: Jan 7, 2017, 9:31:48 PM
| Author | Votes | Δ |
|---|---|---|
| Rustan Leino | 3 | +3.92 |
| Malte Schwerhoff | 1 | -0.49 |