StackRating
An Elo-based rating system for Stack Overflow
Answers and rating deltas for
How to assert (H4: [] = [] ++ []) in a coq problem when there is no typing information present?
| Author | Votes | Δ |
|---|---|---|
| Li-yao Xia | 3 | +1.75 |
| ejgallego | 1 | -1.75 |
Last visited: May 14, 2020, 3:16:00 AM