StackRating
An Elo-based rating system for Stack Overflow
Answers and rating deltas for
Using `apply with` without giving names of parameters in Coq?
| Author | Votes | Δ |
|---|---|---|
| Konstantin Weitz | 3 | +4.21 |
| Tiago Cogumbreiro | 1 | -4.21 |
Last visited: Jan 5, 2016, 11:16:08 AM