StackRating
An Elo-based rating system for Stack Overflow
Answers and rating deltas for
What is difference between `destruct` and `case_eq` tactics in Coq?
| Author | Votes | Δ |
|---|---|---|
| Yves | 11 | 0.00 |
Last visited: Dec 27, 2017, 2:51:58 AM