StackRating
An Elo-based rating system for Stack Overflow
Answers and rating deltas for
Trouble with Coq type classes when defining recursive dependent fields
| Author | Votes | Δ |
|---|---|---|
| ejgallego | 2 | 0.00 |
Last visited: Nov 29, 2017, 11:03:14 PM