StackRating
An Elo-based rating system for Stack Overflow
Answers and rating deltas for
How do you lookup the definition or implementation of Coq proof tactics?
| Author | Votes | Δ |
|---|---|---|
| Blaisorblade | 3 | +2.38 |
| Arthur Azevedo De Amorim | 1 | -2.38 |
Last visited: Nov 27, 2022, 9:27:33 PM