StackRating
An Elo-based rating system for Stack Overflow
Answers and rating deltas for
Coq can't discriminate between constructors for dependently typed inductive proposition
| Author | Votes | Δ |
|---|---|---|
| gallais | 3 | +0.55 |
| Anton Trunov | 2 | -3.04 |
Last visited: Jan 26, 2017, 12:52:55 AM