StackRating
An Elo-based rating system for Stack Overflow
Answers and rating deltas for
How to introduce n distinct symbols in Coq
| Author | Votes | Δ |
|---|---|---|
| Vinz | 5 | +0.51 |
| Isabelle Newbie | 2 | +0.08 |
| ejgallego | 1 | -4.13 |
Last visited: Jun 24, 2017, 4:03:14 PM