StackRating
An Elo-based rating system for Stack Overflow
Answers and rating deltas for
Is Curry-Howard correspondent of double negation ((a->r)->r) or ((a->⊥)->⊥)?
| Author | Votes | Δ |
|---|---|---|
| J. Abrahamson | 14 | +1.02 |
| user2407038 | 6 | +0.32 |
| nushio | 0 | -2.40 |
| dfeuer | 0 | -1.03 |
Last visited: Jan 2, 2016, 9:47:38 PM