StackRating
An Elo-based rating system for Stack Overflow
Answers and rating deltas for
COQ gets wrong by proving "forall n:nat, ( n <= 0) -> n=0"
| Author | Votes | Δ |
|---|---|---|
| phadej | 2 | +4.04 |
| flockshade | 1 | -0.07 |
| Perce Strop | 0 | -3.97 |
Last visited: Apr 29, 2015, 12:32:30 PM