StackRating
An Elo-based rating system for Stack Overflow
Answers and rating deltas for
`No more subgoals, but there are non-instantiated existential variables` in Coq proof language?
| Author | Votes | Δ |
|---|---|---|
| Anton Trunov | 3 | +3.65 |
| ejgallego | 1 | -3.65 |
Last visited: Sep 19, 2016, 11:24:50 AM