StackRating
An Elo-based rating system for Stack Overflow
Answers and rating deltas for
In Dafny, how can I fix the "value does not satisfy the subset constraints of 'nat'&quo
| Author | Votes | Δ |
|---|---|---|
| Jason Orendorff | 2 | -0.06 |
| Rustan Leino | 2 | +0.46 |
Last visited: Aug 15, 2018, 6:18:46 PM