StackRating
An Elo-based rating system for Stack Overflow
Answers and rating deltas for
Is there a way to automate a Coq proof with rewrite steps?
| Author | Votes | Δ |
|---|---|---|
| Zimm i48 | 4 | +4.31 |
| Anton Trunov | 3 | -0.29 |
Last visited: Feb 13, 2017, 9:21:56 AM