StackRating
An Elo-based rating system for Stack Overflow
Answers and rating deltas for
Recursive partial functions in Coq
| Author | Votes | Δ |
|---|---|---|
| Arthur Azevedo De Amorim | 4 | +0.44 |
| Rodrigo Ribeiro | 1 | -0.04 |
| larsr | 0 | -3.49 |
Last visited: May 30, 2016, 5:26:30 AM