StackRating
An Elo-based rating system for Stack Overflow
Answers and rating deltas for
Recovering implicit information from existentials in Coq
| Author | Votes | Δ |
|---|---|---|
| Arthur Azevedo De Amorim | 3 | -0.09 |
| Anton Trunov | 3 | +0.09 |
Last visited: Mar 6, 2018, 7:05:31 PM