StackRating
An Elo-based rating system for Stack Overflow
Answers and rating deltas for
Could not deduce KnownNat in two existentials with respect to the singletons library
| Author | Votes | Δ |
|---|---|---|
| gallais | 10 | +0.50 |
| David McHealy | 1 | -4.03 |
Last visited: Jun 24, 2017, 4:03:14 PM