StackRating
An Elo-based rating system for Stack Overflow
Answers and rating deltas for
How is a .vo file structured so that coqchk may use it?
| Author | Votes | Δ |
|---|---|---|
| ejgallego | 6 | +0.51 |
| Tej Chajed | 1 | -4.10 |
Last visited: May 19, 2018, 9:16:28 AM