StackRating
An Elo-based rating system for Stack Overflow
Answers and rating deltas for
Coq: type mismatch on dependent lists which could be solved by a proof
| Author | Votes | Δ |
|---|---|---|
| Théo Winterhalter | 5 | +4.72 |
| Li-yao Xia | 2 | -0.59 |
Last visited: May 14, 2020, 3:16:00 AM