StackRating
An Elo-based rating system for Stack Overflow
Answers and rating deltas for
Rewrite hypothesis in Coq, keeping implication
| Author | Votes | Δ |
|---|---|---|
| eponier | 3 | +3.99 |
| ejgallego | 2 | +0.93 |
| Anton Trunov | 1 | -1.34 |
Last visited: Feb 26, 2018, 2:34:07 PM