StackRating
An Elo-based rating system for Stack Overflow
Answers and rating deltas for
Matching expression context under `forall` with Ltac
| Author | Votes | Δ |
|---|---|---|
| Yves | 3 | +3.95 |
| Daniel Schoepe | 2 | -2.62 |
Last visited: Oct 28, 2017, 11:25:12 AM