StackRating
An Elo-based rating system for Stack Overflow
Answers and rating deltas for
In Dafny, can the relationship between integer/natural division and real division be proved?
| Author | Votes | Δ |
|---|---|---|
| Jason Orendorff | 4 | +0.45 |
| James Wilcox | 1 | -3.64 |
Last visited: Sep 2, 2018, 6:42:41 AM