StackRating
An Elo-based rating system for Stack Overflow
Answers and rating deltas for
Cab Dafny use an imported ADT in a match command
| Author | Votes | Δ |
|---|---|---|
| Rustan Leino | 0 | -0.17 |
| david streader | 0 | +0.09 |
| david streader | 0 | +0.09 |
Last visited: Nov 27, 2022, 9:27:33 PM