StackRating
An Elo-based rating system for Stack Overflow
Answers and rating deltas for
Coq: how to prove existence of list having existence of an element?
| Author | Votes | Δ |
|---|---|---|
| Ptival | 3 | 0.00 |
Last visited: Nov 11, 2015, 4:53:32 AM