StackRating
An Elo-based rating system for Stack Overflow
Answers and rating deltas for
Weird proof obligations resulting from a push/pop evaluator in Coq
| Author | Votes | Δ |
|---|---|---|
| Tej Chajed | 2 | +4.19 |
| Arthur Azevedo De Amorim | 1 | -0.28 |
| eponier | 1 | -1.94 |
Last visited: Aug 11, 2018, 3:08:25 PM