StackRating
An Elo-based rating system for Stack Overflow
Answers and rating deltas for
Describing a recursive type in Coq
| Author | Votes | Δ |
|---|---|---|
| Konstantin Weitz | 1 | +4.11 |
| autorewrite | 0 | -4.11 |
Last visited: May 1, 2015, 9:37:40 PM
| Author | Votes | Δ |
|---|---|---|
| Konstantin Weitz | 1 | +4.11 |
| autorewrite | 0 | -4.11 |