StackRating
An Elo-based rating system for Stack Overflow
Answers and rating deltas for
Disjunctive Syllogism tactic in Coq?
| Author | Votes | Δ |
|---|---|---|
| Anton Trunov | 4 | +0.98 |
| mlg556 | 0 | -0.12 |
| Volker Stolz | -1 | -0.97 |
Last visited: Jan 19, 2019, 12:38:00 AM