StackRating
An Elo-based rating system for Stack Overflow
Answers and rating deltas for
coq induction with passing in equality
| Author | Votes | Δ |
|---|---|---|
| eponier | 3 | -0.01 |
| Jason Gross | 3 | +0.39 |
| Arthur Azevedo De Amorim | 3 | -0.05 |
Last visited: Jan 2, 2018, 5:54:47 AM