StackRating
An Elo-based rating system for Stack Overflow
Answers and rating deltas for
Why do we need to prove both proposition to apply Disjunction Elimination in Isabelle?
| Author | Votes | Δ |
|---|---|---|
| Javier Díaz | 4 | +3.88 |
| Mathias Fleury | 2 | -0.12 |
| Pinocchio | 0 | -3.77 |
Last visited: Sep 5, 2020, 12:36:14 PM