StackRating
An Elo-based rating system for Stack Overflow
Answers and rating deltas for
Using remember in induction over proposition gives 'ill-typed' error in Coq
| Author | Votes | Δ |
|---|---|---|
| Konstantin Weitz | 2 | +0.24 |
| Arthur Azevedo De Amorim | 2 | -0.24 |
Last visited: May 1, 2015, 8:07:24 PM