StackRating
An Elo-based rating system for Stack Overflow
Answers and rating deltas for
Can Haskell functions be proved/model-checked/verified with correctness properties?
| Author | Votes | Δ |
|---|---|---|
| C. A. McCann | 38 | +0.63 |
| Heinrich Apfelmus | 12 | +2.76 |
| svenningsson | 9 | +1.86 |
| sclv | 5 | +0.22 |
| Jonno_FTW | 4 | -0.57 |
| ja. | 2 | -2.52 |
| Fred Foo | 2 | -0.75 |
| C-Otto | 1 | 0.00 |
| Petr | 1 | 0.00 |
| rsinha | 1 | 0.00 |
Last visited: Sep 14, 2014, 5:07:29 AM