StackRating
An Elo-based rating system for Stack Overflow
Answers and rating deltas for
Is this relationship between forall and exists provable in Coq/intuitionistic logic?
| Author | Votes | Δ |
|---|---|---|
| ejgallego | 3 | +1.42 |
| András Kovács | 3 | -0.18 |
Last visited: May 20, 2016, 4:28:26 AM