StackRating
An Elo-based rating system for Stack Overflow
Answers and rating deltas for
How to prove the lemma "(P \/ Q) /\ ~P -> Q." in coq?
| Author | Votes | Δ |
|---|---|---|
| danportin | 5 | +4.18 |
| Kristopher Micinski | 2 | -0.27 |
| Ptival | 2 | -2.03 |
| larsr | 0 | 0.00 |
Last visited: Sep 14, 2014, 5:07:29 AM