StackRating
An Elo-based rating system for Stack Overflow
Answers and rating deltas for
Solve ~(P /\ Q) |- Q -> ~P in Isabelle
| Author | Votes | Δ |
|---|---|---|
| Unregistered151124 | 3 | +4.08 |
| Manuel Eberl | 1 | +1.20 |
| Unregistered151130 | 0 | -2.59 |
| chris | 0 | -0.34 |
Last visited: Feb 22, 2016, 11:32:36 PM